Недавно я переустановил jEdit (4.3.1 с использованием Java 1.6.0_18) в Ubuntu и заметил, что, поскольку я переустанавливал его, у него больше нет меню, которое позволяет вам прикреплять окна плагинов вокруг окна редактора jEdit.
(см. прикрепленный плагин слева на изображении ниже)
Я думал, что это плагин, но после проверки документации я обнаружил, что иначе. Есть ли способ вернуть эту функциональность обратно?
На изображении ниже я ожидал меню, которое читает левую / верхнюю / нижнюю / правую область закрепления, которое позволяет вам документировать окно плагина, как указано выше, но оно отсутствует.
Есть ли способ вернуть эту функциональность обратно?
Вы также можете получить хорошие ответы на askubuntu.com (но, конечно, вам следует подождать здесь, по крайней мере, до завтра).
Olli 13 лет назад
0
3 ответа на вопрос
1
Adrian
Я просто столкнулся с той же проблемой (на Windows, но те же симптомы). В моем случае проблема была вызвана следующей строкой в файлахспективы. XML в моем каталоге .jEdit:
<VIEW PLAIN="TRUE">
Меняя это на:
<VIEW PLAIN="FALSE">
исправил проблему.
Похоже, что jEdit создавал простые представления по умолчанию, и, возможно, стыковка не работает в простых представлениях? (Я размышляю!) Я не знаю, какие опции в пользовательском интерфейсе делали мои взгляды простыми. Надеюсь, кто-то, кто знает jEdit лучше, может дать объяснение.
В любом случае, это решение сработало для меня!
0
Evan Porter
Похоже, больше нет способа закрепить окно у всплывающих окон.
Единственный известный мне способ закрепления окон в jEdit - это перейти в меню «Утилиты» и выбрать «Глобальные параметры». Вы можете попробовать, Ctrl-F12если хотите.
Под пунктом меню дерева jEdit слева вы увидите опцию «Стыковка». Там будет Hypersearch, и, по моему опыту, любое другое окно, которое вы хотите закрепить, также появится там.
Новые плавающие экземпляры, кажется, никогда не имеют возможности закрепиться.
0
leeand00
Нашел этот вопрос спустя долгое время после того, как я задал вопрос ... некоторое время назад я нашел ответ, поэтому вот он:
В плавающем окне jEdit в верхнем левом углу находится перевернутый треугольник, который при нажатии обычно отображает меню с такими пунктами, как «Док вверх», «Док вниз», «Док слева», «Док в Правильно"; если эти меню не появляются, это потому, что область стыковки отключена. Чтобы включить область стыковки, нажмите:
View->Docking->Toggle Docking Area
А затем вернитесь в перевернутое треугольное меню плавающего окна, где появятся меню «Dock at <direction>», которые позволят вам закрепить плавающие окна.
