2.5

WIP commit for UI drawing.

- Hooked up Diego's new Font API
- Added Style definitions for fonts, currently it uses
  a different font for panel titles to show it.
- Styles are in Userdef now too, still not finished 
- Userdef "DPI" will offer global control over font size,
  to match monitor size/resolution. It's meant to scale
  widgets and headers too btw, later.
- Lots of code removed for old fonts, but that's unfinished.

On todo: too much to mention, will continue happily tomorrow!

source/blender/windowmanager/intern/wm_files.c

@@ -146,11 +146,6 @@ static void init_userdef_themes(void)
 		U.dupflag |= USER_DUP_ARM;
 	}
 	
-	/* userdef new option */
-	if (G.main->versionfile <= 222) {
-		U.vrmlflag= USER_VRML_LAYERS;
-	}
-	
 	/* added seam, normal color, undo */
 	if (G.main->versionfile <= 234) {
 		bTheme *btheme;