renamed Game properties 'Save' button into 'Export'

docs/index.html

@@ -5003,11 +5003,11 @@ Ms Pac-Man (Stella extended codes):
   <p>The buttons at the bottom of the dialogs work as follows:
   <ul>
   <li><b>Defaults</b>: Reset the properties to those built into Stella.</li>
-  <li><b>Save</b>: Save the properties for the <i>currently selected ROM only</i>
-  to a properties file in the users default save directory.</li>
+  <li><b>Export</b>: Export the properties for the <i>currently selected ROM only</i>
+  to a properties file in the user's default save directory.</li>
   <li><b>OK</b>: Merge/commit any changes into the ROM properties database, which
-  contains info on all ROMs.</li>
-  <li><b>Cancel</b>: Revert any changes in the dialog, and cancel the operation.</li>
+  contains info of all ROMs.</li>
+  <li><b>Cancel</b>: Revert any changes in the dialog and cancel the operation.</li>
   </ul>
 
   <p>The name of the properties file will depend on the version of Stella, as follows:</p>

src/gui/GameInfoDialog.cxx

@@ -92,9 +92,9 @@ GameInfoDialog::GameInfoDialog(
   myTab->setActiveTab(0);
 
   // Add Defaults, OK and Cancel buttons
-  addDefaultsExtraOKCancelBGroup(wid, font, "Save", kSavePressed);
-  _extraWidget->setToolTip("Save the current ROM's properties in a\n"
-                           "separate file in the default directory.");
+  addDefaultsExtraOKCancelBGroup(wid, font, "Export", kExportPressed);
+  _extraWidget->setToolTip("Export the current ROM's properties\n"
+                           "into the default directory.");
   addBGroupToFocusList(wid);
 }
 
@@ -1341,7 +1341,7 @@ void GameInfoDialog::setAddressVal(EditTextWidget* addressWidget, EditTextWidget
     valWidget->setText("");
 }
 
-void GameInfoDialog::saveCurrentPropertiesToDisk()
+void GameInfoDialog::exportCurrentPropertiesToDisk()
 {
   saveProperties();
   stringstream out;
@@ -1353,12 +1353,12 @@ void GameInfoDialog::saveCurrentPropertiesToDisk()
     propfile /= myGameFile.getNameWithExt(".pro");
 
     propfile.write(out);
-    instance().frameBuffer().showTextMessage("Properties saved to " +
+    instance().frameBuffer().showTextMessage("Properties exported to " +
                                              propfile.getShortPath());
   }
   catch(...)
   {
-    instance().frameBuffer().showTextMessage("Error saving properties");
+    instance().frameBuffer().showTextMessage("Error exporting properties");
   }
 }
 
@@ -1377,8 +1377,8 @@ void GameInfoDialog::handleCommand(CommandSender* sender, int cmd,
       setDefaults();
       break;
 
-    case kSavePressed:
-      saveCurrentPropertiesToDisk();
+    case kExportPressed:
+      exportCurrentPropertiesToDisk();
       break;
 
     case TabWidget::kTabChangedCmd:

src/gui/GameInfoDialog.hxx

@@ -180,7 +180,7 @@ class GameInfoDialog : public Dialog, public CommandSender
       kHiScoresChanged = 'HSch',
       kPXCenterChanged = 'Pxch',
       kPYCenterChanged = 'Pych',
-      kSavePressed     = 'GIsp'
+      kExportPressed     = 'GIsp'
     };
 
     // Game properties for currently loaded ROM