Package org.eclipse.ui.internal.cheatsheets.registry

Examples of org.eclipse.ui.internal.cheatsheets.registry.CheatSheetCollectionElement

459
460
461
462
463
464
465
466
467
468
469
    String[] expandedCategoryPaths = settings
        .getArray(STORE_EXPANDED_CATEGORIES_ID);
    List categoriesToExpand = new ArrayList(expandedCategoryPaths.length);

    for (int i = 0; i < expandedCategoryPaths.length; i++) {
      CheatSheetCollectionElement category = cheatsheetCategories
          .findChildCollection(new Path(expandedCategoryPaths[i]));
      if (category != null) // ie.- it still exists
        categoriesToExpand.add(category);
    }
View Full Code Here
647
648
649
650
651
652
653
654
655
    String[] expandedCategoryPaths = settings
        .getArray(STORE_EXPANDED_CATEGORIES_ID);
    if (expandedCategoryPaths == null)
      return; // no stored values

    CheatSheetCollectionElement category = expandPreviouslyExpandedCategories();
    if (category != null)
      selectPreviouslySelectedCheatSheet(category);
  }
View Full Code Here
53
54
55
56
57
58
59
60
61
62
63
  /**
   * @see Action#run()
   */
  public void run() {
    CheatSheetCollectionElement cheatSheets = (CheatSheetCollectionElement)CheatSheetRegistryReader.getInstance().getCheatSheets();

    CheatSheetCategoryBasedSelectionDialog dialog = new CheatSheetCategoryBasedSelectionDialog(PlatformUI.getWorkbench().getActiveWorkbenchWindow().getShell(), cheatSheets);

    if(dialog.open() != Window.OK || !dialog.getStatus().isOK()) {
      notifyResult(false);
View Full Code Here
TOP

Related Classes of org.eclipse.ui.internal.cheatsheets.registry.CheatSheetCollectionElement

  • org.eclipse.ui.internal.cheatsheets.actions.CheatSheetCategoryBasedSelectionAction
  • org.eclipse.ui.internal.cheatsheets.dialogs.CheatSheetCategoryBasedSelectionDialog
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.