[protege-discussion] Let Protege remember a font size that I set in a previous session

[Tania Tudorache]

Hi Ru,

Yes, this feature request is still in Bugzilla:

http://smi-protege.stanford.edu/bugzilla/show_bug.cgi?id=19

but, it did not have a high priority. If you will implement the 
enhancement yourself and submit the code to us, we are happy to 
integrate it into Protege code.

Tania

Ru wrote:
> Hello protege-team,
>
> Long - long time ago I asked for a feature: Let Protege remember a font 
> size that I set  in a previous session, and Jennifer answered that this 
> will be included in the feature  request list. Is it still there? :)
>
> Sincerely,
>   Ru
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 
>
>