Ole Jørgen Brønner 0e21d71d10 bin/debug: Ignore Tweener "has already been finalized" by brute force ...

Also force sed to use line buffering so we can grep the output interactively

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

examples

Remove riot and copyq winprops from tiling

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

schemas

Cleanup: remove unused schema keys

2018-04-15 11:23:29 +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

Move PreviewedWindowNavigator into new navigator module

2018-04-09 15:19:07 +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

navigator: Initialize the space mru only when needed

2018-04-22 15:01:57 +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

Deactivate the stackoverlay when the scratch layer is active

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

shell.nix

Custom schema (let us create new keybindings/actions)

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

stackoverlay.js

Always cover fullscreen windows in stackoverlay

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

stylesheet.css

stylesheet.css

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

tiling.js

Always cover fullscreen windows in stackoverlay

2018-04-22 15:01:57 +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%