Riduci le dimensioni della linguetta dell'eclissi con i temi GTK


20

In Eclipse su Fedora, questi controlli / widget occupano troppo spazio:

Schermata di Eclipse Fedora

Come posso rendere le barre più sottili con un gtk-rcfile o un tema CSS GTK3?

UPDATED: Ho trovato https://github.com/jeeeyul/eclipse-themes che questo plugin ha alcune configurazioni e opzioni integrate che rende eclipse 4.2 / 4.3 molto più bello.


4
GTK3 e Gnome3 hanno reso Eclipse praticamente inutilizzabile su schermi piccoli. Le nuove dimensioni della scheda e della barra degli strumenti sono un disastro. Mostra quanto vive la folla di Gnome3 nel mondo delle arti, dove i pulsanti della barra degli strumenti funzionano molto per i touchscreen. :-(
Anony-Mousse -Restinata Monica il

Risposte:


17

I temi GNOME3 predefiniti sono un disastro per schermi di dimensioni ridotte . Tuttavia, la folla di Gnome3 sembra essere piuttosto riluttante ad ascoltare i propri utenti. Pensano solo all'aspetto delle cose , in particolare su un tablet PC o dispositivo mobile, a quanto pare. Presto Gnome3 richiederà uno schermo 4K.

Ad ogni modo, la migliore soluzione che ho trovato è quella di passare il tema ai temi XFCE. Su Ubuntu e Debian dovresti essere in grado di installarli tramite apt install gtk3-engines-xfce gtk2-engines-xfce. Quindi puoi usare il gnome-tweak-toolper cambiare il tema. Attualmente sto usando il XFCE-orangetema, e ha molto meno riempimento rispetto al desaster predefinito Adnita Gnome3. Inoltre, non usa quel nero deprimente per metà delle applicazioni! Penso che anche le descrizioni dei comandi in Eclipse siano state interrotte con Adwaita.

Sto lentamente passando da Gnome3 a XFCE sui miei computer, uno dopo l'altro. Perché Gnome3 continua a diventare sempre meno utile per me , poiché non sono il tuo utente medio "joe clueless" che le persone di Gnome3 considerano il loro unico pubblico. Sono stufo di spezzare le cose per me. Ora hanno appena annunciato di interrompere il pannello che sto usando al posto di gnome-shell rotto dal design.

Per eclissi in particolare, suggerisco di

export SWT_GTK3=0

nel tuo ~/.profile. GTK3 con Eclipse è solo un folle spreco di spazio sullo schermo.


Hm, mi sono rivolto al sistema operativo elementare per giorni. Funziona abbastanza bene, nonostante alcune app obsolete (svn, emacs, gnu globa, ecc.) Elementaryos.org
jilen,

Continuerei con le cose ben tenute. Ubuntu e Debian portano ad esempio LXDE e XFCE fuori dalla scatola. Quando infastidito dal paternalismo di Gnome, l'ultimo a cui rivolgersi è un altro gruppo di "evangelisti che conosciamo meglio di te ciò di cui hai bisogno". Voglio scegliere di fare le cose a modo mio (es. Usare eclipse su un piccolo schermo).
Anony-Mousse - Restituisci Monica il

Sì, le cose stabili significano molto di più per me.
jilen,

2
Anche 3 anni dopo con eclipse MARS su Linux Mint con cannella, export SWT_GTK3=0sta migliorando molto (leggi: diminuendo l'altezza della barra dei menu).
Harald,

Wow! Funziona davvero così bene, e qui mi accontento di cosa posso fare modificando il CSS. Grazie!
mikeymop,


2

È possibile installare un nuovo tema eclissi. Conosco "presentazione VS estesa" che è un tema molto minimalista. Scopri: http://andrei.gmxhome.de/skins/index.html

Inoltre, puoi installare un plug-in a schermo intero che ti dà un po 'di spazio extra. Dai un'occhiata qui: http://www.scharf.gr/eclipse/fullscreen/update/

Inoltre, l'elemento che hai in basso, a sinistra ea destra, puoi semplicemente fare clic e trascinarlo in alto nella stessa barra degli strumenti (quindi alla fine ne hai solo uno). Se non si adattano (a seconda della risoluzione dello schermo), vai in Finestra-> Personalizza Perspecitve ... e disattivali.

Ecco come appare (senza schermo intero).  Sto anche usando il plugin editbox.


È una barra dei menu nera per l'eclissi? o È un menu globale? (se sì, cosa hai usato?)
mikeymop,

È il menu eclissi originale, usando l'estensione a schermo intero. Non ricordo esattamente, com'era 4 anni fa, ma certamente non è il menu globale dell'unità.
lenooh,



0

Sono parzialmente d'accordo con @ Anony-Mousse, ma questo problema con Eclipse non è iniziato con GTK 3 o Gnome 3 - era presente da anni con GTK 2.

Sfortunatamente con Gnome 3 è diventato ancora più visibile a causa dei più grandi rilievi / margini ecc. E anche Eclipse ha i suoi bug (vedi ad esempio Bug 456345 ). Ecco perché per Eclipse, personalmente utilizzo ancora GTK2 e le mie impostazioni gtkrc per paddings, margini e caratteri.

La soluzione completa che sto usando può essere trovata in questa sintesi .
E funziona davvero bene.

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.