Tor Hedin Brønner 95cff98230 Position and size the stackoverlay using gap and margin preferences ...

Extend it to the bottom of the screen so the bottom corners can be used to
switch windows though.

2018-04-23 09:25:25 +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: fix escape when previewing the active workspace

2018-04-23 09:25:25 +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

scratch: Don't show the whole layer when floating a new window

2018-04-23 09:25:25 +02:00

shell.nix

Custom schema (let us create new keybindings/actions)

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

stackoverlay.js

Position and size the stackoverlay using gap and margin preferences

2018-04-23 09:25:25 +02:00

stylesheet.css

stylesheet.css

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

tiling.js

Treat maximized windows the same as fullscreen windows

2018-04-23 09:25:25 +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%