View Issue Details
ID | Project | Category | View Status | Date Submitted | Last Update |
---|---|---|---|---|---|
0003316 | Wishes | _Common | public | 2016-09-30 19:45 | 2023-10-31 14:18 |
Reporter | NightRoman | Assigned To | |||
Priority | normal | Severity | minor | Reproducibility | always |
Status | new | Resolution | open | ||
Product Version | 3.0 | ||||
Summary | 0003316: Показывать заголовки редакторов в меню Screens вместо путей или вместе и ними | ||||
Description | В моей практике плагины нередко создают временные файлы с некоторой контекстной информацией и открывают их в редакторе для пользователя. Иногда для редактирования, иногда для просмотра (в редакторе часто удобнее). Примеры: редактирование данных виртуального файла (у него нет реального пути, но есть понятный из контекста виртуальный), показ ошибок компиляции, редакторы, используемые для REPL, и т.п. Для удобства пользователя таким редакторам присваивается вразумительный заголовок вместо ничего не говорящих путей временных файлов со случайными именами. Это не модальные редакторы, пользователь может держать их открытыми вместе с другими открытыми файлами и переключаться между ними. При переключении неудобно то, что в меню Screens (F12) пользователь видит невразумительные пути временных файлов. Особенно неудобно, если их более одного. Предлагается в Screens показывать не пути редактируемых файлов, а заголовки. Если файлы открываются в редакторе обычным способом, то ничего не изменится, и таких случаев будет большинство. Но если плагины решают, что лучше показывать в заголовке редактора не реальный путь временного файла, а что-то более полезное, то и в Screens было бы удобно видеть именно полезные заголовки. Если такой подход кажется слишком смелым, мол, плагины могут и одинаковых заголовков наплодить для разных файлов, то хотя бы применить для файлов, которые созданы в %TEMP%. Или применить совсем "безопасный" подход - если заголовок и путь отличаются, то показывать и то, и другое (наверное, лучше вначале заголовок). | ||||
Tags | Screens | ||||
Build | |||||
child of | 0003640 | new | Согласовать между собой WindowInfo::Name, описания отображаемые в меню Screens, и реальные заголовки экранов |
|
Пример сессии при работе с FSharpFar - в редакторах открыт один нормальный файл (FarTool.fs) и три специальных - F# REPL, окно ошибок и окно результатов поиска CreateMenu в сорсах проекта. Так выглядит Screens сейчас (пути файлов): C:\Users\rkuzmin\AppData\Local\Temp\F#96D0.tmp.txt C:\ROM\z\_FSharpFar\src\FarTool.fs C:\Users\rkuzmin\AppData\Local\Far Manager\Profile\FarNet\FSharpFar\.fs.fsx C:\Users\rkuzmin\AppData\Local\Temp\F#96D1.tmp.txt Так предлагается (заголовки редакторов): F# Uses FarNet.IFar.CreateMenu C:\ROM\z\_FSharpFar\src\FarTool.fs F# Errors .fs.ini - C:\ROM\z\_FSharpFar\zoo\project F# Interactive .fs.ini - C:\ROM\z\_FSharpFar\zoo\project |
|
100% Кроме того полагаю необходимым соответствующие изменения применить и в апи (WindowInfo / Name) |
|
Не согласен. И заголовок (например, путь на удалённом хосте), и собственно путь файла могут быть длинными, и поэтому второй часто будет просто не помещаться. Предлагаю переключать их по F2, как в меню Task List (CtrlW). Я пытался было сделать такое скриптом, да что-то увяз/забил. |
|
@HaRT Ну и пусть не помещается. Всегда же прокрутка есть (ALtRight, AltEnd, etc). Или в этом списке ее нет почему-то? Тогда просто надо допилить чтобы была. |
|
@NightRoman Фактически вы предлагаете возложить на пользователя (скажем, меня) дополнительную нагрузку по вычленению и разграничению двух частей. Спасибо, мне и без того есть, на что расходовать ресурс своего внимания. Именно поэтому я и предлагаю выводить в каждый момент либо заголовок, либо путь и дать возможность лёгкого переключения. К тому же такое интерфейсное решение давно существует в меню Task list и вроде бы не вызывало нареканий. Вы можете привести практический пример, когда вам важно видеть и заголовок, и путь? В приведённых выше примерах если есть заголовок, путь бессодержателен. |
|
@HaRT, я не против вашего варианта, просто уточняю, что в моем варианте никакой потери информации не происходит. Даже более того, больше информации присутствует сразу. Лучше-хуже - субъективно, все нормально. С трудом верится, что это кто-то соберется делать в обозримом будущем. Так что можем долго спорить о том, как лучше. Вот если было бы сделано, и не понравилось, и переделали бы с учетом уже имеющегося опыта - тогда было бы предметно. |
|
NB Упомянут скрипт. Упомяну и я, в FarNet это реализовано, то есть можно получить список редакторов именно с заголовками - F11 \ FarNet \ Editors. Этот список еще и отсортирован по последнему использованию, но это отдельная тема. |
|
Случаи разные бывают, и путь после заголовка не особенно мешает. Но а если выбирать что-то одно для отображения, то по смыслу это должен быть заголовок. Переключать заголовки/файлы - может и не помешает, но имхо уже немного overkill. |
|
Для полноты картины: это было реализовано скриптом в середине 2022 г. |
Date Modified | Username | Field | Change |
---|---|---|---|
2016-09-30 19:45 | NightRoman | New Issue | |
2016-10-01 02:36 | NightRoman | Note Added: 0014829 | |
2018-08-19 14:32 | JohnDoe | Tag Attached: Screens | |
2018-08-19 14:36 | JohnDoe | Note Added: 0016211 | |
2018-08-20 17:09 | HaRT | Note Added: 0016213 | |
2018-08-20 17:38 | NightRoman | Note Added: 0016214 | |
2018-08-20 19:54 | HaRT | Note Added: 0016215 | |
2018-08-20 20:06 | NightRoman | Note Added: 0016216 | |
2018-08-20 20:13 | NightRoman | Note Added: 0016217 | |
2018-08-21 07:23 | JohnDoe | Note Added: 0016219 | |
2018-08-21 13:50 | JohnDoe | Relationship added | child of 0003640 |
2023-10-31 14:18 | HaRT | Note Added: 0017491 |