Subversion Repositories svn.mios

Rev

Rev 800 | Rev 850 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 800 Rev 808
Line 36... Line 36...
36
36
37
    public final static String TAG_EXTERNAL_COMMAND = "externalCommand";
37
    public final static String TAG_EXTERNAL_COMMAND = "externalCommand";
38
38
39
    public final static String TAG_WORKSPACE_CURRENT_DIRECTORY = "workspaceCurrentDirectory";
39
    public final static String TAG_WORKSPACE_CURRENT_DIRECTORY = "workspaceCurrentDirectory";
40
40
41
    public final static String TAG_MIDI_FILTER_DEVICE_MANAGER_GUI = "midiFilterDeviceManagerGUI";
41
    public final static String TAG_MIDI_FILTER_MANAGER_GUI = "midiFilterManagerGUI";
42
42
43
    public final static String TAG_MIDI_FILTER_GUI_CURRENT_DIRECTORY = "midiFilterGUICurrentDirectory";
43
    public final static String TAG_MIDI_FILTER_GUI_CURRENT_DIRECTORY = "midiFilterGUICurrentDirectory";
44
44
45
    public final static String TAG_HEX_FILE_UPLOAD_DEVICE_MANAGER_GUI = "hexFileUploadDeviceManagerGUI";
45
    public final static String TAG_HEX_FILE_UPLOAD_MANAGER_GUI = "hexFileUploadManagerGUI";
46
46
47
    public final static String TAG_HEX_FILE_UPLOAD_GUI_CURRENT_DIRECTORY = "hexFileUploadGUICurrentDirectory";
47
    public final static String TAG_HEX_FILE_UPLOAD_GUI_CURRENT_DIRECTORY = "hexFileUploadGUICurrentDirectory";
48
48
49
    public final static String TAG_SYSEX_SEND_RECEIVE_DEVICE_MANAGER_GUI = "sysexSendReceiveDeviceManagerGUI";
49
    public final static String TAG_SYSEX_SEND_RECEIVE_MANAGER_GUI = "sysexSendReceiveManagerGUI";
50
50
51
    public final static String TAG_SYSEX_SEND_RECEIVE_GUI_CURRENT_DIRECTORY = "sysexSendReceiveGUICurrentDirectory";
51
    public final static String TAG_SYSEX_SEND_RECEIVE_GUI_CURRENT_DIRECTORY = "sysexSendReceiveGUICurrentDirectory";
52
52
53
    public final static String TAG_WORKSPACE_MRU_LIST = "workspaceMRUList";
53
    public final static String TAG_WORKSPACE_MRU_LIST = "workspaceMRUList";
54
54
Line 149... Line 149...
149
149
150
        if (includeGUI) {
150
        if (includeGUI) {
151
151
152
            addTag(TAG_MAIN_WINDOW);
152
            addTag(TAG_MAIN_WINDOW);
153
            addTag(TAG_INTERNAL_FRAMES);
153
            addTag(TAG_INTERNAL_FRAMES);
154
            addTag(TAG_SYSEX_SEND_RECEIVE_DEVICE_MANAGER_GUI);
154
            addTag(TAG_SYSEX_SEND_RECEIVE_MANAGER_GUI);
155
            addTag(TAG_HEX_FILE_UPLOAD_DEVICE_MANAGER_GUI);
155
            addTag(TAG_HEX_FILE_UPLOAD_MANAGER_GUI);
156
        }
156
        }
157
157
158
        if (includeExternalCommands) {
158
        if (includeExternalCommands) {
159
159
160
            addTag(TAG_EXTERNAL_COMMANDS);
160
            addTag(TAG_EXTERNAL_COMMANDS);
Line 169... Line 169...
169
        if (includeMRU) {
169
        if (includeMRU) {
170
170
171
            addTag(TAG_WORKSPACE_CURRENT_DIRECTORY);
171
            addTag(TAG_WORKSPACE_CURRENT_DIRECTORY);
172
            addTag(TAG_WORKSPACE_MRU_LIST);
172
            addTag(TAG_WORKSPACE_MRU_LIST);
173
            addTag(TAG_WORKSPACE_MRU);
173
            addTag(TAG_WORKSPACE_MRU);
174
            addTag(TAG_MIDI_FILTER_DEVICE_MANAGER_GUI);
174
            addTag(TAG_MIDI_FILTER_MANAGER_GUI);
175
            addTag(TAG_MIDI_FILTER_GUI_CURRENT_DIRECTORY);
175
            addTag(TAG_MIDI_FILTER_GUI_CURRENT_DIRECTORY);
176
            addTag(TAG_MIDI_FILTER_GUI_MRU_LIST);
176
            addTag(TAG_MIDI_FILTER_GUI_MRU_LIST);
177
            addTag(TAG_MIDI_FILTER_GUI_MRU);
177
            addTag(TAG_MIDI_FILTER_GUI_MRU);
178
            addTag(TAG_SYSEX_SEND_RECEIVE_GUI_CURRENT_DIRECTORY);
178
            addTag(TAG_SYSEX_SEND_RECEIVE_GUI_CURRENT_DIRECTORY);
179
            addTag(TAG_SYSEX_SEND_RECEIVE_GUI_MRU_LIST);
179
            addTag(TAG_SYSEX_SEND_RECEIVE_GUI_MRU_LIST);
Line 332... Line 332...
332
332
333
        } else if (name == TAG_WORKSPACE_CURRENT_DIRECTORY) {
333
        } else if (name == TAG_WORKSPACE_CURRENT_DIRECTORY) {
334
334
335
            MIOSStudioGUI.setCurrentDirectory(element.getTextContent());
335
            MIOSStudioGUI.setCurrentDirectory(element.getTextContent());
336
336
337
        } else if (name == TAG_MIDI_FILTER_DEVICE_MANAGER_GUI) {
337
        } else if (name == TAG_MIDI_FILTER_MANAGER_GUI) {
338
338
339
        } else if (name == TAG_MIDI_FILTER_GUI_CURRENT_DIRECTORY) {
339
        } else if (name == TAG_MIDI_FILTER_GUI_CURRENT_DIRECTORY) {
340
340
341
            MidiFilterGUI.setCurrentDirectory(element.getTextContent());
341
            MidiFilterGUI.setCurrentDirectory(element.getTextContent());
342
342
343
        } else if (name == TAG_SYSEX_SEND_RECEIVE_DEVICE_MANAGER_GUI) {
343
        } else if (name == TAG_SYSEX_SEND_RECEIVE_MANAGER_GUI) {
344
           
344
345
            int tabIndex = stringToInt(element.getAttribute(ATTR_SELECTED_TAB));
345
            int tabIndex = stringToInt(element.getAttribute(ATTR_SELECTED_TAB));
346
346
347
            if (tabIndex < miosStudioGUI.getSysexSendReceiveDeviceManagerGUI()
347
            if (tabIndex < miosStudioGUI.getSysexSendReceiveDeviceManagerGUI()
348
                    .getTabbedPane().getTabCount()) {
348
                    .getTabbedPane().getTabCount()) {
Line 354... Line 354...
354
354
355
        } else if (name == TAG_SYSEX_SEND_RECEIVE_GUI_CURRENT_DIRECTORY) {
355
        } else if (name == TAG_SYSEX_SEND_RECEIVE_GUI_CURRENT_DIRECTORY) {
356
356
357
            SysexSendReceiveGUI.setCurrentDirectory(element.getTextContent());
357
            SysexSendReceiveGUI.setCurrentDirectory(element.getTextContent());
358
358
359
        } else if (name == TAG_HEX_FILE_UPLOAD_DEVICE_MANAGER_GUI) {
359
        } else if (name == TAG_HEX_FILE_UPLOAD_MANAGER_GUI) {
360
360
361
            int tabIndex = stringToInt(element.getAttribute(ATTR_SELECTED_TAB));
361
            int tabIndex = stringToInt(element.getAttribute(ATTR_SELECTED_TAB));
362
362
363
            if (tabIndex < miosStudioGUI.getHexFileUploadDeviceManagerGUI()
363
            if (tabIndex < miosStudioGUI.getHexFileUploadDeviceManagerGUI()
364
                    .getTabbedPane().getTabCount()) {
364
                    .getTabbedPane().getTabCount()) {
Line 486... Line 486...
486
486
487
                saveInternalFrame(internalFrame, internalFrameElement);
487
                saveInternalFrame(internalFrame, internalFrameElement);
488
            }
488
            }
489
489
490
            sysexSendReceiveDeviceManagerGUIelement = document
490
            sysexSendReceiveDeviceManagerGUIelement = document
491
                    .createElement(TAG_SYSEX_SEND_RECEIVE_DEVICE_MANAGER_GUI);
491
                    .createElement(TAG_SYSEX_SEND_RECEIVE_MANAGER_GUI);
492
492
493
            rootElement.appendChild(sysexSendReceiveDeviceManagerGUIelement);
493
            rootElement.appendChild(sysexSendReceiveDeviceManagerGUIelement);
494
494
495
            sysexSendReceiveDeviceManagerGUIelement.setAttribute(
495
            sysexSendReceiveDeviceManagerGUIelement.setAttribute(
496
                    ATTR_SELECTED_TAB, intToString(miosStudioGUI
496
                    ATTR_SELECTED_TAB, intToString(miosStudioGUI
497
                            .getSysexSendReceiveDeviceManagerGUI()
497
                            .getSysexSendReceiveDeviceManagerGUI()
498
                            .getTabbedPane().getSelectedIndex()));
498
                            .getTabbedPane().getSelectedIndex()));
499
499
500
            hexFileUploadDeviceManagerGUIelement = document
500
            hexFileUploadDeviceManagerGUIelement = document
501
                    .createElement(TAG_HEX_FILE_UPLOAD_DEVICE_MANAGER_GUI);
501
                    .createElement(TAG_HEX_FILE_UPLOAD_MANAGER_GUI);
502
502
503
            rootElement.appendChild(hexFileUploadDeviceManagerGUIelement);
503
            rootElement.appendChild(hexFileUploadDeviceManagerGUIelement);
504
504
505
            hexFileUploadDeviceManagerGUIelement.setAttribute(
505
            hexFileUploadDeviceManagerGUIelement.setAttribute(
506
                    ATTR_SELECTED_TAB, intToString(miosStudioGUI
506
                    ATTR_SELECTED_TAB, intToString(miosStudioGUI
Line 541... Line 541...
541
            Element sysexSendReceiveCurrentDirectoryElement = document
541
            Element sysexSendReceiveCurrentDirectoryElement = document
542
                    .createElement(TAG_SYSEX_SEND_RECEIVE_GUI_CURRENT_DIRECTORY);
542
                    .createElement(TAG_SYSEX_SEND_RECEIVE_GUI_CURRENT_DIRECTORY);
543
543
544
            if (sysexSendReceiveDeviceManagerGUIelement == null) {
544
            if (sysexSendReceiveDeviceManagerGUIelement == null) {
545
                sysexSendReceiveDeviceManagerGUIelement = document
545
                sysexSendReceiveDeviceManagerGUIelement = document
546
                        .createElement(TAG_SYSEX_SEND_RECEIVE_DEVICE_MANAGER_GUI);
546
                        .createElement(TAG_SYSEX_SEND_RECEIVE_MANAGER_GUI);
547
547
548
                rootElement
548
                rootElement
549
                        .appendChild(sysexSendReceiveDeviceManagerGUIelement);
549
                        .appendChild(sysexSendReceiveDeviceManagerGUIelement);
550
            }
550
            }
551
551
Line 558... Line 558...
558
            Element hexFileCurrentDirectoryElement = document
558
            Element hexFileCurrentDirectoryElement = document
559
                    .createElement(TAG_HEX_FILE_UPLOAD_GUI_CURRENT_DIRECTORY);
559
                    .createElement(TAG_HEX_FILE_UPLOAD_GUI_CURRENT_DIRECTORY);
560
560
561
            if (hexFileUploadDeviceManagerGUIelement == null) {
561
            if (hexFileUploadDeviceManagerGUIelement == null) {
562
                hexFileUploadDeviceManagerGUIelement = document
562
                hexFileUploadDeviceManagerGUIelement = document
563
                        .createElement(TAG_HEX_FILE_UPLOAD_DEVICE_MANAGER_GUI);
563
                        .createElement(TAG_HEX_FILE_UPLOAD_MANAGER_GUI);
564
564
565
                rootElement.appendChild(hexFileUploadDeviceManagerGUIelement);
565
                rootElement.appendChild(hexFileUploadDeviceManagerGUIelement);
566
            }
566
            }
567
567
568
            hexFileUploadDeviceManagerGUIelement
568
            hexFileUploadDeviceManagerGUIelement
Line 610... Line 610...
610
610
611
                mru.setTextContent((String) it.next());
611
                mru.setTextContent((String) it.next());
612
            }
612
            }
613
613
614
            Element midiFilterDeviceManagerGUIelement = document
614
            Element midiFilterDeviceManagerGUIelement = document
615
                    .createElement(TAG_MIDI_FILTER_DEVICE_MANAGER_GUI);
615
                    .createElement(TAG_MIDI_FILTER_MANAGER_GUI);
616
616
617
            rootElement.appendChild(midiFilterDeviceManagerGUIelement);
617
            rootElement.appendChild(midiFilterDeviceManagerGUIelement);
618
618
619
            Element midiFilterCurrentDirectory = document
619
            Element midiFilterCurrentDirectory = document
620
                    .createElement(TAG_MIDI_FILTER_GUI_CURRENT_DIRECTORY);
620
                    .createElement(TAG_MIDI_FILTER_GUI_CURRENT_DIRECTORY);