Tor Hedin Brønner d80e2eacc6 scratch: Use an explicit marker for floating windows ...

On startup we use a heuristic to figure out which windows should float in the
scratch layer, but from then on we simply check if the window is marked as
floating.

NB: Since `above` is reset when a window is minimized there's no guarantee that
a floating window will be above when visible.

2018-03-10 20:42:00 +01:00

schemas

Bind <super>above_tab to previous-workspace

2018-02-25 10:36:40 +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

bindings: Don't overwrite already registered actions

2018-02-26 20:26:33 +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 keybinding system

2018-02-24 22:28:30 +01:00

repl.js

Move _repl to own file

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

scratch.js

scratch: Use an explicit marker for floating windows

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

scratch: Use an explicit marker for floating windows

2018-03-10 20:42:00 +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%