Gmail Calendar Documenti Reader Web altro »
Gruppi visitati di recente | Guida | Entra
Home page di Google Gruppi
Arcadia ruby ide
Home page
Pagine
File
Informazioni su questo gruppo
Fai domanda per l'ammissione al gruppo
reload fonts
Opzioni
Al momento sono presenti troppi argomenti in questo gruppo da visualizzare per primi. Per visualizzare questo argomento per primo, rimuovi questa opzione da un altro argomento.
Si è verificato un errore durante l'elaborazione della tua richiesta. Riprova.
contrassegno
   6 messaggi - Comprimi tutto  -  Traduci tutto in Tradotto (Visualizza tutti gli originali)
Il gruppo nel quale stai postando è un gruppo Usenet. I messaggi postati in questo gruppo rendono la tua email visibile a chiunque su Internet
Il messaggio di risposta non è stato inviato.
Post riuscito
 
Da:
A:
Cc:
Risposta a:
Aggiungi Cc | Aggiungi Followup-to | Modifica oggetto
Oggetto:
Convalida:
A scopo di verifica, digita i caratteri visualizzati nell'immagine qui di seguito o i numeri pronunciati quando fai clic sull'icona per l'accesso facilitato. Ascolta e digita i numeri che senti
 
rogerdpack  
Vedi profilo   Traduci in Tradotto (Visualizza originale)
 Altre opzioni 13 Ott 2009, 23:14
Da: rogerdpack <rogerpack2...@gmail.com>
Data: Tue, 13 Oct 2009 14:14:31 -0700 (PDT)
Locale: Mar 13 Ott 2009 23:14
Oggetto: reload fonts
Inoltra | Stampa | Messaggio singolo | Mostra originale | Segnala questo messaggio | Trova messaggi di questo autore
Hi Antonio.
I want to do something so that I can edit preferences and have it "re
display" using the new fonts that I have specified in the preferences
file.
I can get it to reload the preferences file, but cannot get it to
redisplay changed fonts right.

Any pointers there?
-r


    Inoltra  
Devi eseguire l'accesso prima di poter postare i messaggi.
Per pubblicare un messaggio è necessario, innanzitutto, partecipare a questo gruppo.
Aggiorna il tuo nickname nella pagina delle impostazioni dell'iscrizione prima di postare i messaggi.
Non sei autorizzato a postare messaggi.
antonio.galeone  
Vedi profilo   Traduci in Tradotto (Visualizza originale)
 Altre opzioni 13 Ott 2009, 23:58
Da: "antonio.galeone" <antonio.gale...@gmail.com>
Data: Tue, 13 Oct 2009 14:58:42 -0700 (PDT)
Locale: Mar 13 Ott 2009 23:58
Oggetto: Re: reload fonts
Inoltra | Stampa | Messaggio singolo | Mostra originale | Segnala questo messaggio | Trova messaggi di questo autore
Must be done.
An idea can 'be: when one uses a property it is registered as a
listener,
so when the property is changed you can' change the reality property
of the registered widgets.

angal

On Oct 13, 11:14 pm, rogerdpack <rogerpack2...@gmail.com> wrote:


    Inoltra  
Devi eseguire l'accesso prima di poter postare i messaggi.
Per pubblicare un messaggio è necessario, innanzitutto, partecipare a questo gruppo.
Aggiorna il tuo nickname nella pagina delle impostazioni dell'iscrizione prima di postare i messaggi.
Non sei autorizzato a postare messaggi.
Roger Pack  
Vedi profilo   Traduci in Tradotto (Visualizza originale)
 Altre opzioni 14 Ott 2009, 00:13
Da: Roger Pack <rogerdp...@gmail.com>
Data: Tue, 13 Oct 2009 16:13:37 -0600
Locale: Mer 14 Ott 2009 00:13
Oggetto: Re: [arcadia-ruby-ide] Re: reload fonts
Inoltra | Stampa | Messaggio singolo | Mostra originale | Segnala questo messaggio | Trova messaggi di questo autore

> Must be done.
> An idea can 'be: when one uses a property it is registered as a
> listener,
> so when the property is changed you can' change the reality property
> of the registered widgets.

I guess my difficulty is in getting the fonts to reload *at all* :)
-r


    Inoltra  
Devi eseguire l'accesso prima di poter postare i messaggi.
Per pubblicare un messaggio è necessario, innanzitutto, partecipare a questo gruppo.
Aggiorna il tuo nickname nella pagina delle impostazioni dell'iscrizione prima di postare i messaggi.
Non sei autorizzato a postare messaggi.
Antonio Galeone  
Vedi profilo   Traduci in Tradotto (Visualizza originale)
 Altre opzioni 14 Ott 2009, 00:36
Da: Antonio Galeone <antonio.gale...@gmail.com>
Data: Wed, 14 Oct 2009 00:36:08 +0200
Locale: Mer 14 Ott 2009 00:36
Oggetto: Re: [arcadia-ruby-ide] Re: reload fonts
Inoltra | Stampa | Messaggio singolo | Mostra originale | Segnala questo messaggio | Trova messaggi di questo autore

My idea can be like this:

now we have :

    label = TkLabel.new(self){
      text  'Arcadia'
      font  conf('font')      [or  Arcadia.conf('font')]
      place('width' => '190','x' => 110,'y' => 10,'height' => 25)
    }

if we create a new method:

def conf(_property, _change_callback_proc)
   ...
   @hash_property_callbacks[_property] << _change_callback_proc
   ...
end

we rewriete :

    label = TkLabel.new(self){
      text  'Arcadia'
      font  conf('font', proc{|new_value| self.configure('font'=>
new_value)})
      place('width' => '190','x' => 110,'y' => 10,'height' => 25)
    }

when you edit properties file  throws a wizard then use

@hash_property_callbacks[_property].each{|cb|
    cb.call(new_value)

}

2009/10/14 Roger Pack <rogerdp...@gmail.com>


    Inoltra  
Devi eseguire l'accesso prima di poter postare i messaggi.
Per pubblicare un messaggio è necessario, innanzitutto, partecipare a questo gruppo.
Aggiorna il tuo nickname nella pagina delle impostazioni dell'iscrizione prima di postare i messaggi.
Non sei autorizzato a postare messaggi.
Roger Pack  
Vedi profilo   Traduci in Tradotto (Visualizza originale)
 Altre opzioni 14 Ott 2009, 04:52
Da: Roger Pack <rogerdp...@gmail.com>
Data: Tue, 13 Oct 2009 20:52:57 -0600
Locale: Mer 14 Ott 2009 04:52
Oggetto: Re: [arcadia-ruby-ide] Re: reload fonts
Inoltra | Stampa | Messaggio singolo | Mostra originale | Segnala questo messaggio | Trova messaggi di questo autore

>    @hash_property_callbacks[_property] << _change_callback_proc

Another option would be to just require each plugin that *can* reload
to listen for a ReloadExtensionEvent
then they would each reload themselves separately, I suppose...
-r

    Inoltra  
Devi eseguire l'accesso prima di poter postare i messaggi.
Per pubblicare un messaggio è necessario, innanzitutto, partecipare a questo gruppo.
Aggiorna il tuo nickname nella pagina delle impostazioni dell'iscrizione prima di postare i messaggi.
Non sei autorizzato a postare messaggi.
antonio.galeone  
Vedi profilo   Traduci in Tradotto (Visualizza originale)
 Altre opzioni 14 Ott 2009, 10:29
Da: "antonio.galeone" <antonio.gale...@gmail.com>
Data: Wed, 14 Oct 2009 01:29:28 -0700 (PDT)
Locale: Mer 14 Ott 2009 10:29
Oggetto: Re: reload fonts
Inoltra | Stampa | Messaggio singolo | Mostra originale | Segnala questo messaggio | Trova messaggi di questo autore
Nice, I like this solution.

On 14 Ott, 04:52, Roger Pack <rogerdp...@gmail.com> wrote:


    Inoltra  
Devi eseguire l'accesso prima di poter postare i messaggi.
Per pubblicare un messaggio è necessario, innanzitutto, partecipare a questo gruppo.
Aggiorna il tuo nickname nella pagina delle impostazioni dell'iscrizione prima di postare i messaggi.
Non sei autorizzato a postare messaggi.
Fine dei messaggi
« Torna alle discussioni « Argomento più recente     Argomento meno recente »

Crea un gruppo - Google Gruppi - Home page di Google - Termini di servizio - Norme sulla privacy
©2010 Google