Tor Hedin Brønner c0a65058b8 Add a kludge module to monkey patch around gnome shell oddities

2018-02-17 21:52:31 +01:00

schemas

Super+n: Global new window binding

2018-01-10 10:00:03 +01: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

Debug utils: print stacktrace and allow mulitlines debug messages

2017-09-18 12:13:44 +02:00

extension.js

Add a kludge module to monkey patch around gnome shell oddities

2018-02-17 21:52:31 +01: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

Add a kludge module to monkey patch around gnome shell oddities

2018-02-17 21:52:31 +01:00

LICENSE

Add license

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

liveAltTab.js

workspace preview: Don't imply a specific spatial layout

2018-01-31 14:25:53 +01:00

metadata.json

Add bare bones necessary files for extension packing

2017-09-20 14:52:44 +02:00

minimap.js

Get the Extension object via hardcoded uuid lookup

2017-12-03 19:18:14 +01:00

notes.org

Notes: remove TODOs as we use github issues now

2017-10-29 15:55:09 +01:00

repl.js

Move _repl to own file

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

scratch.js

scratch: Test out using above/minimized as scratch indicators

2018-01-11 14:11:55 +01:00

shell.nix

Custom schema (let us create new keybindings/actions)

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

stackoverlay.js

stackoverlay: 0 is falsy so can't use ||

2018-02-01 12:26:53 +01:00

stylesheet.css

stylesheet.css

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

tiling.js

Sort the stack by distance and then mru

2018-02-17 21:16:27 +01: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%