|
|
8da5f807cf
|
Move and extend the browser toolbar
This makes the user interface more cohesive, and easier to use.
Both toolbars should ideally be made configurable.
|
2023-04-11 06:33:22 +02:00 |
|
|
|
78636fdc18
|
Add sidebar/toolbar toggles to GSettings
|
2022-07-25 23:20:30 +02:00 |
|
|
|
e18f729488
|
Add thumbnail size to GSettings
|
2022-07-25 21:09:15 +02:00 |
|
|
|
9f1041988d
|
Add a dark theme toggle to GSettings
|
2022-07-25 20:27:36 +02:00 |
|
|
|
dcc5b6c719
|
Use GSettings for a new native window toggle
Also, redo desktop files handling.
|
2022-07-25 19:05:27 +02:00 |
|
