Search Mailing List Archives
[protege-discussion] Let Protege remember a font size that I set in a previous session
Tania Tudorache
tudorache at stanford.edu
Tue Jan 23 10:53:12 PST 2007
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
>
>
More information about the protege-discussion
mailing list