Salta al contenuto

Gwibber aggiornato ed il bug della dimensione dei font

15 agosto 2009

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!

gwibber-font-bug

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.

12 commenti Lascia un →
  1. 15 agosto 2009 9:22 pm

    E stavolta sei te che fai tendenza :D
    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 :)

  2. 15 agosto 2009 9:30 pm

    Stiamo parlando del Daniel Bold Italic n° 11, stimato dottore. :)
    http://www.dafont.com/daniel.font

  3. 15 agosto 2009 9:36 pm

    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 :D

  4. 15 agosto 2009 9:43 pm

    Veramente non mi pare giusto che se nelle preferenze setto “Sans 10″ lui mi metta un Sans 12… o.O

  5. 16 agosto 2009 8:04 am

    come sono fotogenico.. oh, yeah! :D

  6. 16 agosto 2009 2:57 pm

    idem non me ne ero accorto che il carattere fosse più grande ;)
    lol

  7. 16 agosto 2009 4:29 pm

    Cavolo che lettori distratti che ho… :roll:

  8. 25 ottobre 2009 2:30 am

    Ciao Andrea, appena fixato in Launchpad: https://bugs.launchpad.net/gwibber/+bug/460069 (il secondo commento). Finalmente ti hanno dato retta! ^^

  9. 25 ottobre 2009 12:00 pm

    E ci hanno impiegato così tanto, senza neppure dire chi è lo scopritore del bug? O.O

  10. 25 ottobre 2009 1:04 pm

    Ingrati! ;)

  11. 16 maggio 2010 7:58 am

    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!

  12. 16 maggio 2010 8:18 am

    Bella domanda! Ne ho avuto bisogno anch’io in passato e non ci sono mai riuscito. :-(

Che cosa ne pensi?

Fill in your details below or click an icon to log in:

Gravatar
Logo WordPress.com

You are commenting using your WordPress.com account. Log Out / Modifica )

Foto Twitter

You are commenting using your Twitter account. Log Out / Modifica )

Foto di Facebook

You are commenting using your Facebook account. Log Out / Modifica )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 37 other followers