murga config file

Forum: DSL Ideas and Suggestions
Topic: murga config file
started by: mikshaw

Posted by mikshaw on Aug. 25 2006,20:18

I don't want to get pushy about this, since it's not an important issue....just something that crossed my mind. Since there is currently a move in progress from Lua-FLTK to MurgaLua, which means a rewrite of all lua scripts, I was wondering what you thought of the possibility of including a function to check the user's home directory for a murga GUI config. It could be something as simple as
dofile(os.getenv("HOME").."/.lua.cfg")
This would allow the user to specify his own colors, fonts, boxtypes, and whatever else to make all of the gui lua apps look more appealing to him. No offense, but I've always hated the default fonts, particularly without xft =o)
If it was simply "dofile", this would of course allow the user to run any arbitrary lua code with all gui scripts, but that might actually be a good thing....

EDIT: I just noticed that murgaLua creates $HOME/.fltk directory when you make runtime changes to some presets (such as the start path and preview toggle in file_chooser). So i'm going to look around some more to see if user customization of colors, fonts, etc. is already built into FLTK

Posted by roberts on Aug. 27 2006,20:27

I would be very open to this idea.
Keep us posted.

Posted by mikshaw on Aug. 27 2006,20:50

So far I have found exactly zero documentation, and no useful messages of any kind, about FLTK runtime configuration. Everything seems to concern only the development side.
I don't really know where to look at this point, other than fltk.org and whatever links are there, but i'll keep looking around.