Недавно я переустановил jEdit (4.3.1 с использованием Java 1.6.0_18) в Ubuntu и заметил, что, поскольку я переустанавливал его, у него больше нет меню, которое позволяет вам прикреплять окна плагинов вокруг окна редактора jEdit.
(см. прикрепленный плагин слева на изображении ниже)
Я думал, что это плагин, но после проверки документации я обнаружил, что иначе. Есть ли способ вернуть эту функциональность обратно?
На изображении ниже я ожидал меню, которое читает левую / верхнюю / нижнюю / правую область закрепления, которое позволяет вам документировать окно плагина, как указано выше, но оно отсутствует.
Есть ли способ вернуть эту функциональность обратно?