0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

themes: Make editor theme hidden again

Browse source
This commit is contained in:
Ignacio R. Morelle 2012-03-01 09:23:05 +00:00
parent 8f574a702a
commit ebf1f94458
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
data/themes/editor.cfg
View file

@ -8,6 +8,7 @@
[theme]
name=editor
hidden=yes
#define DEFAULT_EDITOR_FONT_NORMAL
14 #enddef