systemoperator

Issues still persists. Description has been extended.

Somewhat related (concerning duplicates and merging): #5858

@JofielB Just to be sure, that you don't miss any detail concerning importing a duplicate reference, see #5858, which outlines what is working and what not. In my opinion, the...

From my point of view, this would be a cool, distinctive feature compared to other reference management systems. A slightly reduced version of it, which would also be quite nice...

**Synchronized, vertical split** This is an example of the "synchronized", vertical split:   Properties: - Both splits allow independent horizontal scrolling - Both splits scroll synchronously in vertical direction...

Would still be relevant.

@nlpsuge I'm using Debian 11 with GNOME Shell 3.38.6. Two weeks ago, the extensions still worked, but now there is this error :thinking: : The settings of extension [email protected] had...

@nlpsuge I'm not sure, if I understood it correctly: I've checked now that there is no duplicate folder of this session-manager somewhere in `/home/xxx/.local/share/gnome-shell/extensions/`. Completely uninstalling (result: whole folder `[email protected]`...

Where are saved session data stored on disk? Using grep, results in: ``` lenovo ~/.local/share/gnome-shell/extensions % grep -r "AnotherWindowSessionManagerPrefs" . ./[email protected]/prefs.js: GTypeName: 'AnotherWindowSessionManagerPrefs', lenovo ~/.local/share/gnome-shell/extensions % ``` Interesting observation: 1....

The thing is, that all my stored sessions vanished from the list and only the buttons `Close open windows`, `Save open windows` and the search box are shown. When I...