FLTK: fix file save as handling

Author: chrisws

src/platform/fltk/FileWidget.cxx

@@ -368,7 +368,7 @@ void FileWidget::displayPath() {
     html.append("<b>Save ").append(slash ? slash + 1 : path).append(" as:<font size=3><br>")
         .append("<input size=220 type=text value='").append(slash ? slash + 1 : path)
         .append("' name=saveas>&nbsp;<input type=button onclick='")
-        .append(CMD_SAVE_AS).append("' value='Save As'><br><font size=2>");
+        .append(CMD_SAVE_AS).append("' value='Save As'><br><font size=1>");
   }
 
   _recentPaths->sort(stringCompare);

src/platform/fltk/HelpWidget.cxx

@@ -2372,7 +2372,7 @@ void HelpWidget::compile() {
           } else {
             prop = p.get("size");
             if (prop != NULL) {
-              fontSize = 7 + (prop->toInteger() * 2);
+              fontSize = (int)labelsize() + (prop->toInteger() - 1);
             }
           }
           prop = p.get("face");