jEdit - как закрыть панель?

У меня окно jEdit разделено на две панели (которые могут отображать разные файлы).

Я хочу закрыть одну из панелей ("unsplit" окно).

Как это сделать?

19
задан porton
19.03.2023 12:17 Количество просмотров материала 2937
Распечатать страницу

2 ответа

Source Глава 3. основы для jedit - несколько видов

View>Unsplit Current (сочетание клавиш: C+0) удаляет разделение, содержащее только текущее текстовое поле.

View>Unsplit All (сочетание клавиш: C+1) удаляет все сплиты из представления.

1
отвечен DavidPostill 2023-03-20 20:05

Это можно сделать с помощью кнопки "Unsplit All" на панели инструментов.

0
отвечен porton 2023-03-20 22:22

Постоянная ссылка на данную страницу: [ Скопировать ссылку | Сгенерировать QR-код ]

Ваш ответ

Опубликуйте как Гость или авторизуйтесь

Имя
Вверх