diff options
| author | Guido Günther <agx@sigxcpu.org> | 2013-02-16 17:30:40 +0100 |
|---|---|---|
| committer | Guido Günther <agx@sigxcpu.org> | 2013-02-16 17:30:40 +0100 |
| commit | f44601e4c247a1359777480f75eb1f5024a251dd (patch) | |
| tree | df1e6282142a63d968c6d42477d5138132b6c7c2 /extension.js | |
| parent | 718fa5fde4ae003c9c62cefe470165a930da8275 (diff) | |
It increases the padding of all widgets and makes wider scroll bars
for places where we don't have kinetic scrolling yet.
Diffstat (limited to 'extension.js')
0 files changed, 0 insertions, 0 deletions