GNOME Bugzilla – Bug 543488
support renaming of sessions
Last modified: 2020-03-10 11:53:55 UTC
This can be very useful when willing to mark two (or more) sessions so that one can switch between those quickly.
what? somebody uses sessions already? :)
Hehe, I use them a *lot* :-) I usually don't code things I don't use ;-)
Actually the Saved Sessions dialog already lets you rename sessions - simply select a session, then click its name to rename it. So I think this can be closed.
Closing all open Nemiver tasks as this project does not seem to be maintained anymore. Please see https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/235#note_732192 for further information. Thanks!