main.view: Add 'Alt+#' shortcuts for toggling dock widgets
tree574899b10f11f435cc8e1aaa2c661c30ef9d1cb3
-rw-r--r-- 225 .gitignore
-rw-r--r-- 81 .mailmap
-rw-r--r-- 17987 COPYING
-rw-r--r-- 93 COPYRIGHT
-rw-r--r-- 969 MANIFEST.in
-rw-r--r-- 3346 Makefile
-rw-r--r-- 3191 README.md
drwxr-xr-x - bin
drwxr-xr-x - cola
drwxr-xr-x - darwin
drwxr-xr-x - extras
drwxr-xr-x - po
-rw-r--r-- 20 setup.cfg
-rwxr-xr-x 3867 setup.py
drwxr-xr-x - share
drwxr-xr-x - test
drwxr-xr-x - win32