mirror of https://gitlab.gnome.org/julianschacher/top-bar-organizer.git synced 2025-10-27 07:09:07 +00:00

Go to file

refactor: clearly dist. betw. an items role and the id used in settings

Clearly distinguish between an items role, which is present in GNOME
Shells top bar, call that a role, and the thing that is stored in the
settings for an item, call that an items settings identifier.
Refactor the code with these new names in mind to make it clearer.
Also make the comments clearer.
And finally simplify the code handling AppIndicator items by simply
using the items settings identifier as the key in the roles map and with
that getting rid of the confusing concept of a placeholder role, which
is only relevant for the box order stored in settings. Just declaring it
as an items settings identifier, which it is, is much clearer.

2024-09-26 02:23:28 +02:00

.vscode

Other: Specify a textwidth of 80 for JavaScript

2021-05-14 13:18:30 +02:00

data

Refactor: Install forget action using install_action as well

2023-10-04 03:58:10 +02:00

docs

docs: add newer, cut down and commented panel.js from GNOME Shell 47.rc

2024-09-12 21:44:26 +02:00

res

Docs: Add README with screenshot, extension desc. and installation notes