Tor Hedin Brønner 04ba90b9cd Contain all spaces in their own clipping container ...

We create an actor spanning the whole screen, `Spaces.spaceContainer` which
holds all spaces. A `Space` is now first contained in a `Space.clip` container
which clips away anything that protrudes from the monitor.

The main advantage over having a per monitor clipping actor is getting
flexibility in moving a space around the screen without changing it's monitor.

We also hook up the `monitors-changed` signal, putting the active workpace on
the primary display, and populating the other monitors with the rest of the
workspace mru.

This also prevents a bug where we could end up moving a BackgroundActor.

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

Contain all spaces in their own clipping container

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

Contain all spaces in their own clipping container

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%