Ignacio R. Morelle 1f276a1b80 Added [theme] hidden= attribute...
...that makes a theme unavailable for selection in Preferences or
:theme (defaults to no)

The many "null" themes, and the editor theme make use of this now.

This could be useful for campaign cutscene themes, for example, which
shouldn't be used by users for regular gameplay.
2011-10-30 03:50:55 +00:00
..
2011-10-29 19:14:15 +00:00
2011-10-20 23:32:31 +00:00
2011-10-27 01:37:31 +00:00
2011-10-28 23:04:45 +00:00
2011-10-30 03:50:55 +00:00