Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

[bug #12300] Changing some font properties from menu does not work

2 views
Skip to first unread message

Riccardo mottola

unread,
Mar 6, 2013, 3:59:32 AM3/6/13
to Riccardo mottola, bug-g...@gnu.org
Follow-up Comment #3, bug #12300 (project gnustep):

This is an old bug and I wanted to reproduce it to see it is still valid. But
what does it mean "change from from the menu" ? where? which application?

_______________________________________________________

Reply to this item at:

<http://savannah.gnu.org/bugs/?12300>

_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/


0 new messages