Как изменить стиль вкладок для буферизованных вкладок
Как я могу изменить внешний вид плагина буферизованных вкладок, чтобы они выглядели как обычные вкладки вместо ленты?
2 ответа
Когда вы используете jEdit на Mac, он использует Mac Look and Feel, чтобы быть более знакомым людям, работающим на Mac. То, что вы видите, это стандартный вид вкладок на Mac. Дизайн вкладок зависит от выбранного вами внешнего вида. Вы можете изменить внешний вид в любое время, просто изменив его в глобальных настройках в разделе "Внешний вид". Изменяя внешний вид, вы также измените внешний вид вкладок.
Насколько я понимаю, MacOS X имеет несколько типов вкладок. Например, Safari и TexMate используют "нормальные" вкладки для работы. Кроме того, Intellij IDEA использует "обычные" вкладки с MacOS Look and Feel ( ссылка). Я думаю, что это может быть предметом исследования для разработчиков jEdit.