Menu

#1 user preferences

open
nobody
4
2003-03-04
2003-03-04
No

I think we should have some place to store user preferences
Probably it will fit into GcEnv class.

The first user preference option could be -
use_mdi_style - just joking

actually i think it could hold stuff like use_internal_edit

Discussion


Log in to post a comment.

MongoDB Logo MongoDB