Я использую jEdit в качестве текстового редактора, но меня беспокоит то, что я не могу найти способ сделать так, чтобы стандартный выпадающий список превратился в серию вкладок, которые, как мне кажется, дают гораздо лучший обзор.
Я использую jEdit в качестве текстового редактора, но меня беспокоит то, что я не могу найти способ сделать так, чтобы стандартный выпадающий список превратился в серию вкладок, которые, как мне кажется, дают гораздо лучший обзор.
Для этого есть плагин. BufferTabs Я считаю, что это его имя, и вы можете установить его из менеджера плагинов. Затем вы также должны включить его в менеджере плагинов, чтобы он был включен по умолчанию.