revert font size change

2015-05-12 19:20:30 -07:00 · 2015-05-12 19:20:30 -07:00 · 381d52d64a
--- a/rt/sizemgr.ts
+++ b/rt/sizemgr.ts
@ -164,7 +164,6 @@ module TDev {
            }

            topFontSize = Math.floor(Math.min(h / 25, editorWindowWidth / (phoneMode ? 25 : portraitMode ? 36 : 55)));
-            if (Browser.isDesktop) topFontSize = Math.min(18, topFontSize);
            if (splitScreen)
                wallWindowWidth -= 0.15*topFontSize // for the border