Tor Hedin Brønner e909e17ab6 Make it possible for the user to override eg. the close keybinding ...

Run module.enable after keybind setup.

2018-05-02 10:47:42 +02:00

examples

Implement rcfile/user-config as module (#51)

2018-05-01 17:07:05 +02:00

schemas

Implement rcfile/user-config as module (#51)

2018-05-01 17:07:05 +02:00

.dir-locals.el

Add gnome-shell-mode to dir-locals

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

app.js

Use var for all top level declarations to avoid warnings

2018-04-30 00:03:08 +02:00

convenience.js

Add the canonical convenience.js file for accessing settings

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

debug

debug log viewer: skip-crap didn't skip everything

2018-05-01 14:15:29 +02:00

extension.js

Make it possible for the user to override eg. the close keybinding

2018-05-02 10:47:42 +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

Use var for all top level declarations to avoid warnings

2018-04-30 00:03:08 +02:00

LICENSE

Add license

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

liveAltTab.js

Use var for all top level declarations to avoid warnings

2018-04-30 00:03:08 +02:00

metadata.json

Update supported versions

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

minimap.js

Use var for all top level declarations to avoid warnings

2018-04-30 00:03:08 +02:00

navigator.js

Replace metaWindow.destinationX with moving windows pre-animation

2018-05-01 15:40:11 +02:00

notes.org

Implement rcfile/user-config as module (#51)

2018-05-01 17:07:05 +02:00

repl.js

Move _repl to own file

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

scratch.js

Use var for all top level declarations to avoid warnings

2018-04-30 00:03:08 +02:00

shell.nix

Custom schema (let us create new keybindings/actions)

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

stackoverlay.js

Replace metaWindow.destinationX with moving windows pre-animation

2018-05-01 15:40:11 +02:00

stylesheet.css

stylesheet.css

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

tiling.js

resize: Simplify by using move_to

2018-05-01 16:11:42 +02:00

topbar.js

Hide the panel corners by opacity instead of actor.hide

2018-04-30 17:18:46 +02:00

utils.js

Turn off debugging by default

2018-04-30 20:20:13 +02:00

S

Description

No description provided

GPL-3.0

2 MiB

Languages

JavaScript 97.4%

Shell 2.5%

CSS 0.1%