Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
nialv7
6y ago
0 comments
Save
Share
You do understand that them being extensions means they are not part of GNOME.
0 comments
1 comments · 1 top-level
top
newest
oldest
krastanov
6y ago
You picked the 4th stage but conveniently skipped all 3 tools that precede it. The Tweaks tool is a GUI that is a part of Gnome and it deals with the examples that OP raised.
j
/
k
navigate · click thread line to collapse
