Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.workbench / src / org / simantics / workbench / internal / dialogs / RecentWorkspacesPreferencePage.java

diff --git a/bundles/org.simantics.workbench/src/org/simantics/workbench/internal/dialogs/RecentWorkspacesPreferencePage.java b/bundles/org.simantics.workbench/src/org/simantics/workbench/internal/dialogs/RecentWorkspacesPreferencePage.java
new file mode 100644 (file)
index 0000000..3463e6b
--- /dev/null
+++ b/bundles/org.simantics.workbench/src/org/simantics/workbench/internal/dialogs/RecentWorkspacesPreferencePage.java
@@ -0,0 +1,199 @@
+package org.simantics.workbench.internal.dialogs;
+
+import java.util.ArrayList;
+import java.util.Arrays;
+
+import org.eclipse.core.runtime.Platform;
+import org.eclipse.jface.dialogs.Dialog;
+import org.eclipse.jface.preference.PreferencePage;
+import org.eclipse.osgi.util.TextProcessor;
+import org.eclipse.swt.SWT;
+import org.eclipse.swt.events.SelectionAdapter;
+import org.eclipse.swt.events.SelectionEvent;
+import org.eclipse.swt.layout.GridData;
+import org.eclipse.swt.layout.GridLayout;
+import org.eclipse.swt.widgets.Button;
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.swt.widgets.Control;
+import org.eclipse.swt.widgets.Group;
+import org.eclipse.swt.widgets.Label;
+import org.eclipse.swt.widgets.List;
+import org.eclipse.swt.widgets.Spinner;
+import org.eclipse.ui.IWorkbench;
+import org.eclipse.ui.IWorkbenchPreferencePage;
+import org.eclipse.ui.PlatformUI;
+import org.eclipse.ui.internal.IWorkbenchHelpContextIds;
+import org.eclipse.ui.internal.ide.ChooseWorkspaceData;
+import org.eclipse.ui.internal.ide.IDEWorkbenchMessages;
+
+/**
+ * Preference page for editing the list of recent workspaces and whether or not
+ * the user is prompted at startup.
+ * 
+ * @since 3.5
+ */
+public class RecentWorkspacesPreferencePage extends PreferencePage
+implements IWorkbenchPreferencePage {
+
+    private static final int MIN_WORKSPACS = 5;
+    private static final int MAX_WORKSPACES = 99;
+    private static final int MAX_WORKSPACES_DIGIT_COUNT = 2;
+
+    private ChooseWorkspaceData workspacesData;
+
+    private Button promptOption;
+    private Spinner maxWorkspacesField;
+    private List workspacesList;
+    private Button removeButton;
+
+
+    @Override
+    public void init(IWorkbench workbench) {
+        workspacesData = new ChooseWorkspaceData(Platform.getInstanceLocation().getURL());
+    }
+
+    @Override
+    public Control createContents(Composite parent) {
+        PlatformUI.getWorkbench().getHelpSystem().setHelp(parent,
+                IWorkbenchHelpContextIds.WORKSPACES_PREFERENCE_PAGE);
+
+        Composite container = new Composite(parent, SWT.NULL);
+        final GridLayout gridLayout = new GridLayout();
+        gridLayout.numColumns = 2;
+        gridLayout.marginHeight = 0;
+        gridLayout.marginWidth = 0;
+        container.setLayout(gridLayout);
+
+        createPromptOption(container);
+        createMaxWorkspacesField(container);
+        createWorkspacesList(container);
+
+        Dialog.applyDialogFont(container);
+
+        return container;
+    }
+
+
+    protected void createPromptOption(Composite parent) {
+        promptOption = new Button(parent, SWT.CHECK);
+        promptOption.setText(IDEWorkbenchMessages.RecentWorkspacesPreferencePage_PromptAtStartup_label);
+        promptOption.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false, 2, 1));
+
+        promptOption.setSelection(workspacesData.getShowDialog());
+        promptOption.addSelectionListener(new SelectionAdapter(){
+            @Override
+            public void widgetSelected(SelectionEvent event) {
+                workspacesData.toggleShowDialog();
+            }
+        });
+    }
+
+
+    protected void createMaxWorkspacesField(Composite parent) {
+        final Label maxWorkspacesLabel = new Label(parent, SWT.NONE);
+        maxWorkspacesLabel.setText(IDEWorkbenchMessages.RecentWorkspacesPreferencePage_NumberOfWorkspaces_label);
+        maxWorkspacesField = new Spinner(parent, SWT.BORDER);
+        maxWorkspacesField.setTextLimit(MAX_WORKSPACES_DIGIT_COUNT);
+        maxWorkspacesField.setMinimum(MIN_WORKSPACS);
+        maxWorkspacesField.setMaximum(MAX_WORKSPACES);
+
+        maxWorkspacesField.setSelection(workspacesData.getRecentWorkspaces().length);
+    }
+
+
+    protected void createWorkspacesList(Composite parent) {
+        final Group recentWorkspacesGroup = new Group(parent, SWT.NONE);
+        recentWorkspacesGroup.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true, 2, 1));
+        recentWorkspacesGroup.setText(IDEWorkbenchMessages.RecentWorkspacesPreferencePage_RecentWorkspacesList_label);
+        final GridLayout gridLayout_1 = new GridLayout();
+        gridLayout_1.numColumns = 2;
+        recentWorkspacesGroup.setLayout(gridLayout_1);
+
+        workspacesList = new List(recentWorkspacesGroup, SWT.BORDER | SWT.MULTI);
+        final GridData gd_workspacesList = new GridData(SWT.FILL, SWT.FILL, true, true);
+        workspacesList.setLayoutData(gd_workspacesList);
+
+        removeButton = new Button(recentWorkspacesGroup, SWT.NONE);
+        final GridData gd_removeButton = new GridData(SWT.CENTER, SWT.TOP, false, false);
+        removeButton.setLayoutData(gd_removeButton);
+        removeButton.setText(IDEWorkbenchMessages.RecentWorkspacesPreferencePage_RemoveButton_label);
+        removeButton.setEnabled(false);
+
+        removeButton.addSelectionListener(new SelectionAdapter(){
+            @Override
+            public void widgetSelected(SelectionEvent event) {
+                removeSelectedWorkspaces();
+                updateRemoveButton();
+            }
+        });
+
+        workspacesList.addSelectionListener(new SelectionAdapter() {
+            @Override
+            public void widgetSelected(SelectionEvent event) {
+                updateRemoveButton();
+            }
+        });
+
+        String[] recentWorkspaces = workspacesData.getRecentWorkspaces();
+        for (int i = 0; i < recentWorkspaces.length; i++) {
+            String aWorkspace = recentWorkspaces[i];
+            if (aWorkspace != null) {
+                workspacesList.add(TextProcessor.process(aWorkspace));
+            }
+        }
+    }
+
+
+    protected void removeSelectedWorkspaces() {
+        // This would be a lot less code if we could use Jakarta CollectionUtils and/or ArrayUtils
+
+        int[] selected = workspacesList.getSelectionIndices();
+        java.util.List<String> workspaces = new ArrayList<String>(Arrays.asList(workspacesList.getItems()));
+
+        // Iterate bottom-up because removal changes indices in the list
+        for (int i = selected.length-1; i >= 0; i--) {
+            workspaces.remove(selected[i]);
+        }
+
+        String[] newItems = new String[workspaces.size()];
+        workspaces.toArray(newItems);
+        workspacesList.setItems(newItems);
+    }
+
+
+    @Override
+    protected void performDefaults() {
+        promptOption.setSelection(true);
+        super.performDefaults();
+    }
+
+
+    @Override
+    public boolean performOk() {
+        int maxWorkspaces = maxWorkspacesField.getSelection();
+        String[] workspaces = new String[maxWorkspaces];
+        String[] tmpListItem = workspacesList.getItems();
+        String[] listItems = new String[tmpListItem.length];
+
+        for (int i = 0; i < tmpListItem.length; i++){
+            listItems[i] = TextProcessor.deprocess(tmpListItem[i]);
+        }
+
+        if (maxWorkspaces < listItems.length) {
+            // TODO: maybe alert the user that the list will be truncated?
+            System.arraycopy(listItems, 0, workspaces, 0, maxWorkspaces);
+        } else  {
+            System.arraycopy(listItems, 0, workspaces, 0, listItems.length);
+        }
+
+        workspacesData.setRecentWorkspaces(workspaces);
+        workspacesData.writePersistedData();
+        return true;
+    }
+
+
+    protected void updateRemoveButton() {
+        removeButton.setEnabled(workspacesList.getSelectionCount() > 0);
+    }
+
+}