Tor Hedin Brønner 92d5c112fb Use native mutter actions to override keybindings ...

This means that we won't kill keybindings on disable (which could be worked
around) or crashes (which would be much harder to work around).

NB: it's necessary to go into dconf and restore
`switch-applications[-backward]`, `switch-group[-backward]` to get the
keybindings working again.

2018-04-29 23:57:39 +02:00

examples

Remove riot and copyq winprops from tiling

2018-04-15 11:55:53 +02:00

schemas

Use native mutter actions to override keybindings

2018-04-29 23:57:39 +02:00

.dir-locals.el

Add gnome-shell-mode to dir-locals

2017-09-14 09:27:10 +02:00

app.js

Super+n: Global new window binding

2018-01-10 10:00:03 +01:00

convenience.js

Add the canonical convenience.js file for accessing settings

2017-09-21 16:38:02 +02:00

debug

bin/debug: Ignore Tweener "has already been finalized" by brute force

2018-04-22 15:21:13 +02:00

extension.js

Use native mutter actions to override keybindings

2018-04-29 23:57:39 +02:00

install.sh

Minor bugfix: Use absolute path to local extension dir in install script

2017-09-21 10:29:55 +02:00

kludges.js

We shouldn't need to turn off redirection anymore

2018-04-22 15:01:57 +02:00

LICENSE

Add license

2017-09-17 14:19:37 +02:00

liveAltTab.js

refactor: ensure_viewport(s, w, f) -> ensureviewport(w, s, f)

2018-04-22 15:01:57 +02:00

metadata.json

Update supported versions

2018-04-22 15:01:57 +02:00

minimap.js

Spaces: add generic mru method

2018-04-22 15:01:57 +02:00

navigator.js

Use native mutter actions to override keybindings

2018-04-29 23:57:39 +02:00

notes.org

Notes

2018-04-22 15:01:57 +02:00

repl.js

Move _repl to own file

2017-09-20 13:32:27 +02:00

scratch.js

Add StackOverlay.reset()

2018-04-23 11:17:40 +02:00

shell.nix

Custom schema (let us create new keybindings/actions)

2017-09-11 18:02:55 +02:00

stackoverlay.js

Add StackOverlay.reset()

2018-04-23 11:17:40 +02:00

stylesheet.css

stylesheet.css

2017-09-28 13:29:11 +02:00

tiling.js

Remove hardcoded margin and minimumMargin

2018-04-27 13:35:11 +02:00

topbar.js

top bar: Hide the rounded corners

2018-04-22 15:01:57 +02:00

utils.js

utility: Add space as dev global

2018-02-17 18:05:11 +01:00

S

Description

No description provided

GPL-3.0

2 MiB

Languages

JavaScript 97.4%

Shell 2.5%

CSS 0.1%