quick fix for pending issue: editing an ExternalFileType works now (still room for improvement); visual bug concerning "lazy" update of table could be a Linux issue, since other tables are affected as well; so basically - except the "lazy" update thing -- everyting works concerning external file types

Author: systemoperator

src/main/java/org/jabref/gui/externalfiletype/CustomizeExternalFileTypesDialog.java

@@ -40,6 +40,7 @@ public CustomizeExternalFileTypesDialog() {
         this.setResultConverter(button -> {
             if (button == ButtonType.OK) {
                 viewModel.storeSettings();
+                fileTypesTable.refresh();
             }
             return null;
         });

src/main/java/org/jabref/gui/externalfiletype/CustomizeExternalFileTypesViewModel.java

@@ -49,6 +49,8 @@ private void showEditDialog(ExternalFileType type, String dialogTitle) {
             typeForEdit = (CustomExternalFileType) type;
         } else {
             typeForEdit = new CustomExternalFileType(type);
+            fileTypes.add(fileTypes.indexOf(type), typeForEdit);
+            fileTypes.remove(type);
         }
 
         EditExternalFileTypeEntryDialog dlg = new EditExternalFileTypeEntryDialog(typeForEdit, dialogTitle);