Clean up some glitches detected by wmllint.

This commit is contained in:
Eric S. Raymond 2008-08-13 23:19:51 +00:00
parent 80c49994f4
commit f85135e255
3 changed files with 10 additions and 12 deletions

View file

@ -64,4 +64,3 @@
{campaigns/Descent_Into_Darkness/utils/terrain.cfg}
#endif
#undef EDITOR_TERRAIN_DEF_DiD

View file

@ -135,4 +135,3 @@
{campaigns/Under_the_Burning_Suns/utils/terrain_graphics.cfg}
#endif
#undef EDITOR_TERRAIN_DEF_UtBS

View file

@ -17,20 +17,20 @@
[theme]
name=editor2
#define DEFAULT_FONT_NORMAL
#define DEFAULT_EDITOR_FONT_NORMAL
14 #enddef
#define DEFAULT_FONT_SMALL
#define DEFAULT_EDITOR_FONT_SMALL
12 #enddef
#define DEFAULT_FONT_TINY
#define DEFAULT_EDITOR_FONT_TINY
10 #enddef
#define DEFAULT_FONT_REALLYTINY
#define DEFAULT_EDITOR_FONT_REALLYTINY
9 #enddef
#define DEFAULT_FONT320_NORMAL
#define DEFAULT_EDITOR_FONT320_NORMAL
8 #enddef
#define DEFAULT_FONT320_SMALL
#define DEFAULT_EDITOR_FONT320_SMALL
7 #enddef
#define DEFAULT_FONT320_TINY
#define DEFAULT_EDITOR_FONT320_TINY
7 #enddef
{themes/macros.cfg}
@ -279,7 +279,7 @@
[villages]
id=villages
font_size={DEFAULT_FONT_SMALL}
font_size={DEFAULT_EDITOR_FONT_SMALL}
ref=villages-icon
rect="+4,=,+55,+16"
xanchor=fixed
@ -304,7 +304,7 @@
# be pushed off the right end.
[position]
id=status-position
font_size={DEFAULT_FONT_SMALL}
font_size={DEFAULT_EDITOR_FONT_SMALL}
ref=terrain-panel
rect="=+15,=,+95,="
xanchor=fixed
@ -312,7 +312,7 @@
[/position]
[terrain]
id=status-terrain
font_size={DEFAULT_FONT_SMALL}
font_size={DEFAULT_EDITOR_FONT_SMALL}
ref=terrain-panel
rect="=+115,=,=-24,="
xanchor=left