Tor Hedin Brønner cce3341afd Use correct coordinates when animating windows ...

Adds a `Space.monitor` property, hard coded to the primary monitor for the
moment. `move` needs to know about which space it's moving windows on.

It seems that we really don't have to worry about scaling, as it mutter should
take care of it automatically.

fixes #47

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

examples

Remove riot and copyq winprops from tiling

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

schemas

Bind <super>Escape to toggle scratch layer

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

Remove hard coded <super>Space binding

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

Use correct coordinates when animating windows

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

navigator.js

Use correct coordinates when animating windows

2018-04-30 00:03:08 +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

Use correct coordinates when animating windows

2018-04-30 00:03:08 +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%