private void saveSettings()
   {
      // Font Smoothing
      dialog_settings.setFontSmoothingValue(font_smoothing_selector.getSelectedItem());

      // Editor Settings
      dialog_settings.editor_use_env = editor_use_env_checkbox.isSelected();
      dialog_settings.editor_path = editor_path_field.getText();

      // Style Sheets
      if(css_file_selector.getItemCount() > 0)
      {
         CSSFile cf = (CSSFile)(css_file_selector.getSelectedItem());
         dialog_settings.css_files.clear();
         int x = css_file_selector.getItemCount();
         for(int i = 0; i < x; i++)
         {
            cf = (CSSFile)(css_file_selector.getItemAt(i));
            dialog_settings.css_files.add(cf);
         }
         dialog_settings.cur_css_file = (CSSFile)(css_file_selector.getSelectedItem());
      }

      // Markdown Processor
      ExternalProcessor ep = (ExternalProcessor)(processor_name_selector.getSelectedItem());
      dialog_settings.md_processors.clear();
      int x = processor_name_selector.getItemCount();
      for(int i = 0; i < x; i++)
      {
         ep = (ExternalProcessor)(processor_name_selector.getItemAt(i));
         dialog_settings.md_processors.add(ep);
      }
      dialog_settings.cur_processor = (ExternalProcessor)(processor_name_selector.getSelectedItem());

      Joculus.settings = dialog_settings;
      Joculus.settings.save();
      app_instance.refreshDisplay();
      this.dispose();
   }