View Issue Details
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0002138||Database Workbench v5||General||public||2023-05-19 21:48||2023-05-19 21:48|
|Reporter||Trent Workman||Assigned To|
|Priority||normal||Severity||major||Reproducibility||unable to reproduce|
|Summary||0002138: Table Editor Header Missing|
|Description||The Header in Table Editor that contains the dropdown with the table name, along with the save modification buttons has gone missing. |
I have searched settings and tried moving the mouse along the border to see if it's docked somewhere, but I can't find it.
This happened once before and I uninstalled/reinstalled and it was fine for a while. It is missing again now and I'm not sure what's causing it. Uninstall/Reinstall is not a sustainable solution.
|Steps To Reproduce||I can't reproduce what made it go missing.|