Pacman99
8efe979128
Add option to disable showing scratch windows in overview. ( #346 )
...
Creates dropdown menu to let user choose between never, always, or
only showing scratch windows. The state is tracked by two
booleans,'disable-scratch-in-overview' and 'only-scratch-in-overview'.
2020-10-29 20:30:58 +01:00
Yegor Timoshenko
5de1be9c8a
gnome shell background -> GNOME Shell background ( #264 )
2020-03-11 23:44:53 +01:00
Tor Hedin Brønner
ecd355115c
top bar: Add only show on primary preference
...
Introduces `TopBar.panelMonitor` which points to the monitor currently
holding the top bar.
2020-02-23 14:51:08 +01:00
Tor Hedin Brønner
3b9e676d68
prefs workspaces: Add gnome-control-center background button
2019-10-12 13:02:53 +02:00
Tor Hedin Brønner
0f15c879f5
prefs: Use All workspaces and `Per workspace frame
2019-10-10 18:40:28 +02:00
Tor Hedin Brønner
dd9b577e29
settings: Add use-default-background preference
...
Does not support timed backgrounds.
fixes #122
2019-10-10 18:40:28 +02:00
Tor Hedin Brønner
d7c412f4b3
prefs: fixup
2019-10-09 00:11:53 +02:00
Tor Hedin Brønner
269ea7e21a
prefs: Add some much needed margins and other fixes
2019-10-08 09:08:20 +02:00
Tor Hedin Brønner
d9c59ef50e
prefs: don't scroll the tabs
...
The default tree view search doesn't work and can pop up outside the scroll so
disable it.
TODO: add something like `ctrl-f`, `/` to focus the search input
2019-10-01 22:20:19 +02:00
Tor Hedin Brønner
8d83c9536d
Run layout timer on window-gap change
2019-09-27 22:20:03 +02:00
Spiss, Lukas
9a03f5952e
Fix capitalization in settings
2019-07-13 23:33:06 +02:00
Spiss, Lukas
cf6b4ac3dd
Fix typo in settings
2019-07-13 23:33:06 +02:00
Ole Jørgen Brønner
ea9f6c225a
prefs: add note about triggering a layout to see the changes
2019-07-08 18:36:38 +02:00
Ole Jørgen Brønner
4e511e37ac
Bottom margin
...
Kept the 'vertical-margin' key (as opposed to renaming to some variant of
top-margin) for compatibility reasons
closes #146
2019-07-08 18:36:38 +02:00
Tor Hedin Brønner
2483c0b04e
prefs: Add hot corner and overview toggles
2018-12-07 07:14:15 +01:00
ganthern
9ad6ee605d
added default background to preferences UI
2018-11-04 19:01:01 +01:00
Ole Jørgen Brønner
8c39bb2e21
Filtered keybinding search (quick and dirty)
...
NB: get this log message when removing a binding:
Gtk-CRITICAL **: 00:19:47.333: gtk_tree_model_filter_get_path: assertion
'GTK_TREE_MODEL_FILTER (model)->priv->stamp == iter->stamp' failed
But it doesn't really seem to be CRITICAL.
2018-07-12 12:17:35 +02:00
Ole Jørgen Brønner
cdabb978aa
About section in prefs GUI
2018-07-11 22:49:00 +02:00
Ole Jørgen Brønner
c76137fd77
Working tree-view based keybinding editor
...
Note: ideally we should subscribe to settings changes and update the TreeModel
in the listener instead of updating it directly in the signal handler for the
accel editor.
2018-07-11 18:47:56 +02:00
Tor Hedin Brønner
55c6b60803
Add settings UI with workspace controls and gap and margin spinners
...
`Settings.ui` is built with and can be inpsected with Glade.
2018-07-11 18:47:56 +02:00
