255cb8edb1
We need to adjust the offset of close buttons, in case the box pointer has the arrow at the top. To do so, extend close buttons to hook into a boxpointer (since that's the common use for them) and automatically adjust their position. https://bugzilla.gnome.org/show_bug.cgi?id=707842 |
||
---|---|---|
.. | ||
config.js.in | ||
extensionUtils.js | ||
fileUtils.js | ||
gnomeSession.js | ||
hash.js | ||
history.js | ||
jsParse.js | ||
loginManager.js | ||
modemManager.js | ||
objectManager.js | ||
params.js | ||
smartcardManager.js | ||
util.js |