Tor Hedin Brønner f215d61ba7 Move show panel animation to a signal ...

Should ideally have hide animation in a signal too, but this doesn't seem to be
viable as it gnome-shell tries really hard to hide the panel when focusing a
fullscreen window.

Ie. if we disconnect both signals, show the panel while animating out
gnome-shell will just hide it again.

2017-09-21 02:21:21 +02:00

schemas

Actions: move_left/right (<meta><shift>,/.)

2017-09-11 20:21:42 +02:00

.dir-locals.el

Add gnome-shell-mode to dir-locals

2017-09-14 09:27:10 +02:00

debug

Debug utils: print stacktrace and allow mulitlines debug messages

2017-09-18 12:13:44 +02:00

extension.js

Fix statusbar regression

2017-09-21 00:38:29 +02:00

install.sh

Add local install script

2017-09-20 16:06:44 +02:00

LICENSE

Add license

2017-09-17 14:19:37 +02:00

metadata.json

Add bare bones necessary files for extension packing

2017-09-20 14:52:44 +02:00

notes.org

Notes: How to get a stacktrace in gjs

2017-09-17 22:26:21 +02:00

repl.js

Move _repl to own file

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

shell.nix

Custom schema (let us create new keybindings/actions)

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

tiling.js

Move show panel animation to a signal

2017-09-21 02:21:21 +02:00

S

Description

No description provided

GPL-3.0

2 MiB

Languages

JavaScript 97.4%

Shell 2.5%

CSS 0.1%