package info (click to toggle)
gnome-shell-extension-autohidetopbar 20180908-2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 196 kB
  • sloc: xml: 98; makefile: 27

Folder: 20180908-2

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 119 locale
- - rw-r--r-- 23 .gitignore
- - rw-r--r-- 360 Makefile
- - rw-r--r-- 1,871 README.md
- - rw-r--r-- 5,668 convenience.js
- - rw-r--r-- 911 extension.js
- - rw-r--r-- 11,816 intellihide.js
- - rw-r--r-- 492 metadata.json
- - rw-r--r-- 3,660 org.gnome.shell.extensions.hidetopbar.gschema.xml
- - rw-r--r-- 15,018 panelVisibilityManager.js
- - rw-r--r-- 10,814 prefs.js