Esempio n. 1
0
  public void updateActionPanel() {
    rightButtonPanel.clear();
    boolean exam = app.isExam();
    setStyleName("examToolbar", exam);
    if (exam) {
      // We directly read the parameters to show the intention.
      // It may be possible that 3D is not supported from technical
      // reasons (e.g. the graphics card is problematic), but in such
      // cases we don't want to show that here.

      if (!app.getExam().isCASAllowed()) {
        Label nocas = new Label("CAS");
        nocas.getElement().getStyle().setTextDecoration(TextDecoration.LINE_THROUGH);
        nocas.getElement().setClassName("timer");
        rightButtonPanel.add(nocas);
      }
      if (!app.getExam().is3DAllowed()) {
        Label no3d = new Label("3D");
        no3d.getElement().getStyle().setTextDecoration(TextDecoration.LINE_THROUGH);
        no3d.getElement().setClassName("timer");
        rightButtonPanel.add(no3d);
      }
      rightButtonPanel.add(getTimer());
    }

    if (app.getLAF().undoRedoSupported()) {
      addUndoPanel();
    }
    if (app.getArticleElement().getDataParamShowMenuBar(false)
        || app.getArticleElement().getDataParamApp()) {
      PerspectiveResources pr =
          ((ImageFactory) GWT.create(ImageFactory.class)).getPerspectiveResources();
      this.menuBarShowing = true;
      // openMenuButton = new StandardButton(pr.button_open_menu(), null,
      // 32);
      //
      // openMenuButton.addFastClickHandler(new FastClickHandler() {
      // @Override
      // public void onClick(Widget source) {
      // app.hideKeyboard();
      // app.closePopups();
      // GGWToolBar.this.app.toggleMenu();
      // }

      openMenuButton = new StandardButton(pr.menu_header_open_menu(), null, 32);

      openMenuButton.getUpHoveringFace().setImage(getImage(pr.menu_header_open_menu_hover(), 32));

      openMenuButton.addFastClickHandler(
          new FastClickHandler() {
            @Override
            public void onClick(Widget source) {
              app.hideKeyboard();
              app.closePopups();
              GGWToolBar.this.app.toggleMenu();
            }
          });

      openMenuButton.addDomHandler(
          new KeyUpHandler() {
            public void onKeyUp(KeyUpEvent event) {
              if (event.getNativeKeyCode() == KeyCodes.KEY_ENTER) {
                GGWToolBar.this.app.toggleMenu();
              }
              if (event.getNativeKeyCode() == KeyCodes.KEY_LEFT) {
                GGWToolBar.this.selectMenuButton(0);
              }
              if (event.getNativeKeyCode() == KeyCodes.KEY_RIGHT) {
                GGWToolBar.this.toolBar.selectMenu(0);
              }
            }
          },
          KeyUpEvent.getType());

      if (!exam && app.enableFileFeatures()) {
        // openSearchButton = new
        // StandardButton(pr.button_open_search(),
        // null, 32);
        // openSearchButton.addFastClickHandler(new FastClickHandler() {
        // @Override
        // public void onClick(Widget source) {
        // app.openSearch(null);
        // }
        // });

        openSearchButton = new StandardButton(pr.menu_header_open_search(), null, 32);
        openSearchButton.getUpFace().setImage(getImage(pr.menu_header_open_search(), 32));
        openSearchButton
            .getUpHoveringFace()
            .setImage(getImage(pr.menu_header_open_search_hover(), 32));

        openSearchButton.addFastClickHandler(
            new FastClickHandler() {
              @Override
              public void onClick(Widget source) {
                app.openSearch(null);
              }
            });

        openSearchButton.addDomHandler(
            new KeyUpHandler() {
              public void onKeyUp(KeyUpEvent event) {
                if (event.getNativeKeyCode() == KeyCodes.KEY_ENTER) {
                  app.openSearch(null);
                }
                if (event.getNativeKeyCode() == KeyCodes.KEY_RIGHT) {
                  GGWToolBar.this.selectMenuButton(1);
                }
                if (event.getNativeKeyCode() == KeyCodes.KEY_LEFT) {
                  GGWToolBar.this.toolBar.selectMenu(-1);
                }
              }
            },
            KeyUpEvent.getType());

        this.rightButtonPanel.add(openSearchButton);
      }
      this.rightButtonPanel.add(openMenuButton);
    }
  }
Esempio n. 2
0
  // undo-redo buttons
  private void addUndoPanel() {
    PerspectiveResources pr =
        ((ImageFactory) GWT.create(ImageFactory.class)).getPerspectiveResources();
    // Image redoImage = new Image(GuiResources.INSTANCE.button_redo());
    // redoButton = new StandardButton(pr.button_redo(), null, 32);
    // redoButton.getElement().appendChild(redoImage.getElement());
    // redoButton.addFastClickHandler(new FastClickHandler(){
    // @Override
    // public void onClick(Widget source) {
    // app.getGuiManager().redo();
    // app.hideKeyboard();
    // }
    // });

    redoButton = new StandardButton(pr.menu_header_redo(), null, 32);
    redoButton.getUpHoveringFace().setImage(getImage(pr.menu_header_redo_hover(), 32));

    redoButton.addFastClickHandler(
        new FastClickHandler() {
          @Override
          public void onClick(Widget source) {
            app.getGuiManager().redo();
            app.hideKeyboard();
          }
        });

    redoButton.addStyleName("redoButton");
    // redoButton.getElement().addClassName("button");

    redoButton.getElement().getStyle().setOverflow(Overflow.HIDDEN);

    // Image undoImage = new Image(GuiResources.INSTANCE.button_undo());
    // undoButton = new StandardButton(pr.button_undo(), null, 32);
    // undoButton.getElement().appendChild(undoImage.getElement());
    // undoButton.addFastClickHandler(new FastClickHandler(){
    // @Override
    // public void onClick(Widget source) {
    // app.getGuiManager().undo();
    // app.hideKeyboard();
    // }
    // });

    undoButton = new StandardButton(pr.menu_header_undo(), null, 32);
    undoButton.getUpHoveringFace().setImage(getImage(pr.menu_header_undo_hover(), 32));

    undoButton.addFastClickHandler(
        new FastClickHandler() {
          @Override
          public void onClick(Widget source) {
            app.getGuiManager().undo();
            app.hideKeyboard();
          }
        });

    undoButton.addStyleName("undoButton");
    // undoButton.getElement().addClassName("button");

    // toolBarPanel.add(redoButton);
    updateUndoActions();
    rightButtonPanel.add(undoButton);
    rightButtonPanel.add(redoButton);
    setLabels();
  }