FLTK: fix file save as handling

Author: chrisws

ChangeLog

@@ -1,3 +1,7 @@
+2019-06-27 (0.12.15)
+	FLTK: file file save as
+	UI: fix reported crash in android printing null
+
 2019-06-22 (0.12.15)
 	FLTK: reactivated the FLTK port using FLTK v1.4
 

src/platform/fltk/EditorWidget.cxx

@@ -651,8 +651,8 @@ void EditorWidget::copyText() {
 /**
  * saves the editor buffer to the given file name
  */
-void EditorWidget::doSaveFile(const char *newfile) {
-  if (!_dirty && strcmp(newfile, _filename) == 0) {
+void EditorWidget::doSaveFile(const char *newfile, bool force) {
+  if (!force && !_dirty && strcmp(newfile, _filename) == 0) {
     // neither buffer or filename have changed
     return;
   }

src/platform/fltk/EditorWidget.h

@@ -97,7 +97,7 @@ struct EditorWidget : public Fl_Group, StatusBar {
 
   bool checkSave(bool discard);
   void copyText();
-  void doSaveFile(const char *newfile);
+  void doSaveFile(const char *newfile, bool force=false);
   void fileChanged(bool loadfile);
   bool focusWidget();
   const char *getFilename() { return _filename; }

src/platform/fltk/FileWidget.cxx

@@ -515,7 +515,7 @@ void FileWidget::saveAs() {
       }
       const char *msg = "%s\n\nFile already exists.\nDo you want to replace it?";
       if (access(savepath, 0) != 0 || fl_choice(msg, "Yes", "No", 0, savepath) == 0) {
-        _saveEditorAs->doSaveFile(savepath);
+        _saveEditorAs->doSaveFile(savepath, true);
       }
     }
   }

src/ui/ansiwidget.cpp

@@ -185,7 +185,7 @@ int AnsiWidget::getScreenId(bool back) {
 
 // prints the contents of the given string onto the backbuffer
 void AnsiWidget::print(const char *str) {
-  int len = strlen(str);
+  int len = (str == NULL ? 0 : strlen(str));
   if (len) {
     _back->drawInto();