Отсутствуют опции стыковки в JEdit?

Недавно я переустановил jEdit (4.3.1 с использованием Java 1.6.0_18) в Ubuntu и заметил, что, поскольку я переустанавливал его, у него больше нет меню, позволяющего закреплять окна плагинов вокруг окна редактора jEdit.

(см. закрепленный плагин слева на изображении ниже)введите описание здесь

Я думал, что это плагин, но после проверки документации я обнаружил, что иначе. Есть ли способ вернуть эту функциональность обратно?

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

введите описание здесьвведите описание здесь

Есть ли способ вернуть эту функциональность обратно?

Источник

3 ответа

Решение

Нашел этот вопрос спустя долгое время после того, как я задал вопрос... некоторое время назад я нашел ответ, поэтому вот он:

В плавающем окне jEdit в левом верхнем углу будет перевернутый треугольник, который при нажатии обычно отображает меню с такими пунктами, как "Dock at Up", "Dock at Down", "Dock at Left", "Dock at Правильно"; если эти меню не отображаются, это потому, что область стыковки отключена. Чтобы включить область стыковки, нажмите:

View->Docking->Toggle Docking Area

А затем вернитесь в перевернутое треугольное меню плавающего окна, где появятся меню "Dock at ", которые позволят вам закрепить плавающие окна.

Источник

Я просто столкнулся с той же проблемой (на Windows, но те же симптомы). В моем случае проблема была вызвана следующей строкой в ​​файлахспективы.xml в моем каталоге.jEdit:

<VIEW PLAIN="TRUE">

Меняя это на:

<VIEW PLAIN="FALSE">

исправил проблему.

Похоже, что jEdit создавал простые представления по умолчанию, и, возможно, стыковка не работает в простых представлениях? (Я размышляю!) Я не знаю, какие опции в пользовательском интерфейсе делали мои взгляды простыми. Надеюсь, кто-то, кто знает jEdit лучше, может дать объяснение.

В любом случае, это решение сработало для меня!

Источник

Похоже, больше нет способа закрепить окно у всплывающих окон.

Единственный известный мне способ закрепления окон в jEdit - это перейти в меню "Утилиты" и выбрать "Глобальные параметры". Ты можешь попробовать Ctrl-F12 если хочешь.

Под пунктом меню дерева jEdit слева вы увидите опцию "Стыковка". Там будет Hypersearch, и, по моему опыту, любое другое окно, которое вы хотите закрепить, также появится там.

Новые плавающие экземпляры никогда не имеют возможности закрепиться.

Источник
Другие вопросы по тегам