View Issue Details

IDProjectCategoryView StatusLast Update
0003316Wishes_Commonpublic2023-10-31 14:18
ReporterNightRoman Assigned To 
PrioritynormalSeverityminorReproducibilityalways
Status newResolutionopen 
Product Version3.0 
Summary0003316: Показывать заголовки редакторов в меню Screens вместо путей или вместе и ними
DescriptionВ моей практике плагины нередко создают временные файлы с некоторой контекстной информацией и открывают их в редакторе для пользователя. Иногда для редактирования, иногда для просмотра (в редакторе часто удобнее). Примеры: редактирование данных виртуального файла (у него нет реального пути, но есть понятный из контекста виртуальный), показ ошибок компиляции, редакторы, используемые для REPL, и т.п.

Для удобства пользователя таким редакторам присваивается вразумительный заголовок вместо ничего не говорящих путей временных файлов со случайными именами. Это не модальные редакторы, пользователь может держать их открытыми вместе с другими открытыми файлами и переключаться между ними. При переключении неудобно то, что в меню Screens (F12) пользователь видит невразумительные пути временных файлов. Особенно неудобно, если их более одного.

Предлагается в Screens показывать не пути редактируемых файлов, а заголовки. Если файлы открываются в редакторе обычным способом, то ничего не изменится, и таких случаев будет большинство. Но если плагины решают, что лучше показывать в заголовке редактора не реальный путь временного файла, а что-то более полезное, то и в Screens было бы удобно видеть именно полезные заголовки.

Если такой подход кажется слишком смелым, мол, плагины могут и одинаковых заголовков наплодить для разных файлов, то хотя бы применить для файлов, которые созданы в %TEMP%. Или применить совсем "безопасный" подход - если заголовок и путь отличаются, то показывать и то, и другое (наверное, лучше вначале заголовок).
TagsScreens
Build

Relationships

child of 0003640 new Согласовать между собой WindowInfo::Name, описания отображаемые в меню Screens, и реальные заголовки экранов 

Activities

NightRoman

2016-10-01 02:36

reporter   bugnote:0014829

Пример сессии при работе с 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

JohnDoe

2018-08-19 14:36

updater   bugnote:0016211

если заголовок и путь отличаются, то показывать и то, и другое (наверное, лучше вначале заголовок).

NightRoman
100%

Кроме того полагаю необходимым соответствующие изменения применить и в апи (WindowInfo / Name)

HaRT

2018-08-20 17:09

reporter   bugnote:0016213

показывать и то, и другое

NightRoman
Не согласен. И заголовок (например, путь на удалённом хосте), и собственно путь файла могут быть длинными, и поэтому второй часто будет просто не помещаться. Предлагаю переключать их по F2, как в меню Task List (CtrlW).
Я пытался было сделать такое скриптом, да что-то увяз/забил.

NightRoman

2018-08-20 17:38

reporter   bugnote:0016214

@HaRT Ну и пусть не помещается. Всегда же прокрутка есть (ALtRight, AltEnd, etc). Или в этом списке ее нет почему-то? Тогда просто надо допилить чтобы была.

HaRT

2018-08-20 19:54

reporter   bugnote:0016215

@NightRoman Фактически вы предлагаете возложить на пользователя (скажем, меня) дополнительную нагрузку по вычленению и разграничению двух частей. Спасибо, мне и без того есть, на что расходовать ресурс своего внимания. Именно поэтому я и предлагаю выводить в каждый момент либо заголовок, либо путь и дать возможность лёгкого переключения. К тому же такое интерфейсное решение давно существует в меню Task list и вроде бы не вызывало нареканий. Вы можете привести практический пример, когда вам важно видеть и заголовок, и путь? В приведённых выше примерах если есть заголовок, путь бессодержателен.

NightRoman

2018-08-20 20:06

reporter   bugnote:0016216

@HaRT, я не против вашего варианта, просто уточняю, что в моем варианте никакой потери информации не происходит. Даже более того, больше информации присутствует сразу. Лучше-хуже - субъективно, все нормально.

С трудом верится, что это кто-то соберется делать в обозримом будущем. Так что можем долго спорить о том, как лучше. Вот если было бы сделано, и не понравилось, и переделали бы с учетом уже имеющегося опыта - тогда было бы предметно.

NightRoman

2018-08-20 20:13

reporter   bugnote:0016217

NB Упомянут скрипт. Упомяну и я, в FarNet это реализовано, то есть можно получить список редакторов именно с заголовками - F11 \ FarNet \ Editors. Этот список еще и отсортирован по последнему использованию, но это отдельная тема.

JohnDoe

2018-08-21 07:23

updater   bugnote:0016219

В приведённых выше примерах если есть заголовок, путь бессодержателен.

HaRT
Случаи разные бывают, и путь после заголовка не особенно мешает.

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

HaRT

2023-10-31 14:18

reporter   bugnote:0017491

Для полноты картины: это было реализовано скриптом в середине 2022 г.

Issue History

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