Gwibber aggiornato ed il bug della dimensione dei font
Come sicuramente saprete, ultimamente l’how-to più brillante di Bl@ster a riguardo di Pidgin (cioè come renderlo maledettamente fantastico) ha fatto tendenza.
Sapete che non mi piacciono le mode, ma stavolta non ho potuto esimermi. Primo perché stimo Bl@ster, e secondo perché il risultato era molto interessante.
Seguendo le istruzioni, ho verificato che avevo bisogno di una versione più recente di Webkit, una libreria per il rendering di pagine html. Allora ho aggiornato i pacchetti usando un PPA, con un procedimento che poi ha scritto anche Bl@ster. Benissimo, ho potuto finire l’how-to ed ero soddisfatto del lavoro. Peccato però che a questo punto, Gwibber non mi funzionasse più.
Mi sono accorto quindi che utilizzavo il PPA meno recente (ce ne sono due, gwibber-team e gwibber-daily). Ho subito provveduto a correggere l’errore ed aggiornare i pacchetti.
Il PPA è a questo indirizzo ed è indicato cosa aggiungere alle sorgenti software. A questo punto, dopol’aggiornamento, ho aperto Gwibber che funzionava… Peccato solo che il carattere dei messaggi fosse enorme!

A sinistra come dovrebbe essere il mio font di sistema (Droid Sans 9) e a destra come lo mostra Gwibber, ovvero in corpo 11
La cosa che mi è parsa più assurda è che anche se si impostava a mano la dimensione nelle preferenze (non fatelo per ora, prima correggiamo il bug) rimaneva sballato. Ho scoperto che si tratta di un bug, peraltro non segnalato da nessuno (uffa speriamo che lo faccia qualcuno che non avrei voglia…).
La correzione è banale, tanto quanto plateale è l’errore dei programmatori.
In pratica, senza entrare in meriti troppo tecnici, nel codice del programma c’è scritto qualcosa di simile:
imposta_dimensione_carattere(dimensione_scelta+2);
Allucinante!
Qualsiasi dimensione scelta viene accresciuta di due, senza motivo alcuno. Va’ a capire… Comunque sia, ecco come correggere. Aprite con un editor da amministratore il file incriminato:
sudo gedit /usr/share/pyshared/gwibber/gwui.py
Cercate la riga seguente (nel mio caso è la riga 76):
self.settings.set_property("default-font-size", (int(fsize) + 2))
Togliete l’infausta somma come segue (attenti alle parentesi), e poi salvate:
self.settings.set_property("default-font-size", (int(fsize)))
Voilà! Riavviate Gwibber e tutto sarà risolto. 










E stavolta sei te che fai tendenza

Il font che usi per la titlebar è fantastico
Effettivamente il problema si presenta anche da me, non ci avevo fatto caso. Adesso Gwibber è molto meno stancante, un ottimo hack il tuo, grazie
Stiamo parlando del Daniel Bold Italic n° 11, stimato dottore.
http://www.dafont.com/daniel.font
Molto belli, molto belli, installati immantinente
Ad ogni modo, non so se l’errore dei programmatori è così plateale, insomma, lo fanno per farti leggere meglio, poi se tu decidi che non vuoi e che vuoi l’app più integrata (come anch’io l’apprezzo), per carità, liberissimo di farlo
Veramente non mi pare giusto che se nelle preferenze setto “Sans 10″ lui mi metta un Sans 12… o.O
come sono fotogenico.. oh, yeah!
idem non me ne ero accorto che il carattere fosse più grande
lol
Cavolo che lettori distratti che ho…
Ciao Andrea, appena fixato in Launchpad: https://bugs.launchpad.net/gwibber/+bug/460069 (il secondo commento). Finalmente ti hanno dato retta! ^^
E ci hanno impiegato così tanto, senza neppure dire chi è lo scopritore del bug? O.O
Ingrati!
ciao, potresti indicarmi come pulire la lista di gwibber? ho eliminato tutti gli account presenti… ma nonostante questo cliccando sul tab ‘Home’ mi compare tutta la cronologia di twitter..
grazie!
Bella domanda! Ne ho avuto bisogno anch’io in passato e non ci sono mai riuscito.