Как скрыть или закрепить панель результатов / панель инструментов в MySQL Workbench 6.3? - PullRequest
0 голосов
/ 27 июня 2018

Я вижу следующую панель в таблице результатов.

enter image description here

На основании проведенного мною исследования эта панель для многих людей пристыкована. Тем не менее, в моем приложении он скрыт, а затем отображается при наведении в этой области. Это стало очень раздражающим, потому что там трудно использовать полосу прокрутки.

Я просмотрел настройки и панели инструментов, но не могу найти способ его отключить.

Кто-нибудь знает, как мне вообще от него избавиться или сделать его статичным?

1 Ответ

0 голосов
/ 27 июня 2018

Вы, вероятно, активировали «скрытый» режим. Нажмите на маленькую иконку рядом с панелью:

enter image description here

...