Hide GUI Bars kiterjesztés gyakorlatilag. Alt+Q-ra állítottam be, hogy az elrejtett eszköztárak-menük előjöjjenek, de Crtl+L-re vagy Alt+D-re fókuszt kap a címsor, és akkor megjelenik kb. addig, amíg szükség van rá.
Az eszköztár így fest. A címsort, keresőt és a gombokat felpakoltam a menü mellé balra, az userChrome.css-be pedig ezt írtam:
menubar {
width: 24px;
overflow: hidden;
}
menubar:hover {
width: 100%;
}
Ezzel a menü nem nyomja össze a címsort, hanem meghúzódik jobb oldalon, amíg az egeret rá nem húzza az ember. Ez nem jön be mindenkinek, és egyébként van rá valamivel elegánsabb megoldás is a TinyMenu kiterjesztés képében.
int getRandomNumber() { // ←ez itt már az aláírásom
return 4;//szabályos kockadobással választva.
} //garantáltan véletlenszerű. xkcd