Allan Odgaard 2c307cabce Allow setting a tab as “sticky” ...

Presently this can only be done by right-clicking the tab and selecting the “Sticky” option — if a tab is sticky then it will not be closed when executing any of the batch close actions (Close All Tabs, Close Other Tabs, Close Tabs to the Right, and holding option down while opening a file via file browser or file chooser).

Closes #1038.

2013-07-21 13:25:28 +02:00

..

src

Allow setting a tab as “sticky”

2013-07-21 13:25:28 +02:00

tests

Provide symmetric content/set_content for document_t

2013-05-15 15:45:36 +07:00

target

Remove procedural API for load/save of session

2013-01-10 06:46:43 +01:00