Trebuie să aibă Extensii shell gnome Pentru Linux

HistoryManager Prefix Search este o extensie GNOME Shell, care permite utilizatorilor să folosească tastele PageDown și PageUp în scopul de a merge în HistoryManager.Pentru a instala această extensie trebuie să aveți GNOME Shell instalate sau scortisoara....

Icon Hitler este o extensie GNOME Shell, care permite utilizatorului să afișeze sau nu icoane din panoul GNOME superior.Pentru a instala această extensie trebuie să aveți GNOME Shell instalate sau scortisoara. . Cu toate acestea, ține cont de faptul că...

ignore_request_hide_titlebar este o extensie GNOME Shell, care va asigura bara de titlu nu va fi ascuns atunci când ferestrele sunt maximizate.Pentru a instala această extensie trebuie să aveți GNOME Shell instalate sau scortisoara. . Cu toate acestea,...

Nerăbdarea este o extensie GNOME Shell, care vă permite să faceți animația GNOME Shell-o mult mai repede.Pentru a instala această extensie trebuie să aveți GNOME Shell instalate sau scortisoara. . Cu toate acestea, ține cont de faptul că acesta nu a fost...

Indicator de introducere-Metoda de stare este o extensie GNOME Shell, care va afișa starea de intrare-metode care folosesc IBus pe panoul GNOME 3.Pentru a instala această extensie trebuie să aveți GNOME Shell instalate sau scortisoara. . Cu toate acestea,...

funcții islamice data / ora este o extensie GNOME Shell, care adaugă data și rugăciune Hijri ori la meniul data GNOME & nbsp; 3 mediu desktop.Pentru a instala această extensie trebuie să aveți GNOME Shell instalate sau scortisoara. . Cu toate acestea,...

Jenkins CI Server indicator este o extensie GNOME Shell, care vă permite să sumar toate locurile de muncă de funcționare și conexiunile de pe serverul dvs. Jenkins CI. Acesta oferă setări auto-refresh și notificări în timp real.Pentru a instala această...

Jump Lists este un GNOME & nbsp; extensie Shell care se va adăuga Listele rapide Zeitgeist bazate pe aplicatii pentru.Pentru a instala această extensie trebuie să aveți GNOME Shell instalate sau scortisoara. . Cu toate acestea, ține cont de faptul că nu a...

Spatii marcate este o extensie GNOME Shell, care pune etichete pe spațiile de lucru, etichetarea lor.Pentru a instala această extensie trebuie să aveți GNOME Shell instalate sau scortisoara. . Cu toate acestea, ține cont de faptul că nu a fost testat cu...

Lame Extensii Manager este o extensie GNOME Shell, care permite utilizatorilor pentru a activa sau dezactiva rapid și ușor extensii GNOME Shell-instalate.Extensii Lame Manager este a fost testat si este compatibil cu GNOME & nbsp; Shell 3.4.Pentru a...