private void onExit()
   {
      // if the user wants to save the window size on exit, do it.
      if (settings.window_size_remember)
      {
         settings.window_size_last = html_panel.getSize();
         settings.saveWindowSize();
      }

      System.exit(1);
   }