package info (click to toggle)
gnome-shell-extension-autohidetopbar 20161203-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 184 kB
  • ctags: 23
  • sloc: xml: 98; makefile: 58

Folder: 20161203-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 77 locale
- - rw-r--r-- 15,255 ChangeLog
- - rw-r--r-- 341 Makefile
- - rw-r--r-- 1,469 README.md
- - rw-r--r-- 5,672 convenience.js
- - rw-r--r-- 789 extension.js
- - rw-r--r-- 11,816 intellihide.js
- - rw-r--r-- 478 metadata.json
- - rw-r--r-- 3,660 org.gnome.shell.extensions.hidetopbar.gschema.xml
- - rw-r--r-- 13,994 panelVisibilityManager.js
- - rw-r--r-- 10,110 prefs.js