Предлагаю добавить новое поведение для табов: "закрепление"
Аналог: закрепленные табы у ТotalСommander
Цель:
Поведение:
Закрыть все _закрепленные_ остаются открытымиМесто хранения:
Will postpone this wish, for after 1.130.0
Great idea.
@Alexey-T if you will be adding this, please make it an Editor property (Editor.get_prop()), and add an event for on_state_ed()
I would like to add an option to this plugin (got the idea from this issue :) ) to collapse pinned tabs into just icons, like so

Collapsing into icons? It needs only with options with default false
Collapsing into icons? It needs only with options with defaultfalse
That is only for my plugin, and yes, it is will be disabled by default
new beta..... API: EDSTATE_PINNED, PROP_TAB_PINNED.
@kvichans Pls test.
Если я правильно вижу, сейчас "пришпилить" можно только через локальное меню ярлыка.
Это крайне неудобно.
Нужна команда!
Может быть, уже есть с неожиданным именем?
Неудачный символ #. Ведь у него мнемоника "номер"
Лучше подобрать другой. Например, возможно, подходят:
!° или ▫†или ∞ или √Поменял символ на "!"
OK
Done
Most helpful comment
new beta..... API: EDSTATE_PINNED, PROP_TAB_PINNED.