Tor Hedin Brønner
ac49cbac98
prefs: fix typo...
2019-01-11 20:33:20 +01:00
Tor Hedin Brønner
75e66de782
keybind: super-t take window and place at final destination
...
This also fixes the rather strange behavior of super-ctrl-above_tab which
actually didn't move to the previous workspace.
2019-01-09 11:51:04 +01:00
Ole Jørgen Brønner
d5a7c81895
keybindings: cycle window height <super><shift>r
2019-01-05 12:52:52 +01: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
Tor Hedin Brønner
fcaedb0004
prefs: Fix tooltip
2018-07-16 14:03:02 +02:00
Tor Hedin Brønner
9132979916
Add tooltip describing conflicts
...
Also add a reset toggle.
2018-07-15 20:35:04 +02: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
0b9138294d
Bugfix: prefs.js crashed on unbound actions
...
Worked by accident before - when the above_tab fixed was added our luck ran out
:)
2018-07-11 19:36:54 +02:00
Tor Hedin Brønner
d41d6b9033
Fix duplicate workspace settings
...
Simplyfy things by storing all workspace settings from the get go.
2018-07-11 18:47:56 +02:00
Tor Hedin Brønner
e6c76e26b9
Translate Above_Tab
2018-07-11 18:47:56 +02:00
Tor Hedin Brønner
8434d5b8e4
Only add new empty row if it's not already there
2018-07-11 18:47:56 +02:00
Tor Hedin Brønner
38a62a990f
Use ... as description for extra bindings
2018-07-11 18:47:56 +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
Tor Hedin Brønner
3548f219a2
Rename prefs.js to settings.js
...
prefs.js causes issues as its used to lauch the settings gui from eg. tweaks.
2018-07-02 22:31:55 +02:00
Ole Jørgen Brønner
dea5cb958d
Minor future proofing: Replace all '-' occurrences (not just the first)
2018-05-20 13:23:56 +02:00
Tor Hedin Brønner
6942df947f
Monitor preference changes
...
Introduces `prefs.js` with simple `settings::change` signal handling.
Also put workspace colors in the schema and draw them from there.
2018-05-15 16:31:01 +02:00
