public void execute() {
          solutionTree.setUseDescriptionsForTooltip(!solutionTree.isUseDescriptionsForTooltip());
          solutionTree.setSelectedItem(solutionTree.getSelectedItem(), true);

          // update setting
          final String url =
              GWT.getHostPageBaseURL()
                  + "api/user-settings/MANTLE_SHOW_DESCRIPTIONS_FOR_TOOLTIPS"; //$NON-NLS-1$
          RequestBuilder builder = new RequestBuilder(RequestBuilder.POST, url);
          try {
            builder.sendRequest(
                "" + solutionTree.isUseDescriptionsForTooltip(),
                EmptyRequestCallback.getInstance());
          } catch (RequestException e) {
            // showError(e);
          }
        }
        public void execute() {
          filesListPanel.setShowHiddenFiles(!solutionTree.isShowHiddenFiles());
          solutionTree.setShowHiddenFiles(!solutionTree.isShowHiddenFiles());
          solutionTree.setSelectedItem(solutionTree.getSelectedItem(), true);

          // update setting
          final String url =
              GWT.getHostPageBaseURL()
                  + "api/user-settings/MANTLE_SHOW_HIDDEN_FILES"; //$NON-NLS-1$
          RequestBuilder builder = new RequestBuilder(RequestBuilder.POST, url);
          try {
            builder.sendRequest(
                "" + solutionTree.isShowHiddenFiles(), EmptyRequestCallback.getInstance());
            RepositoryFileTreeManager.getInstance()
                .fetchRepositoryFileTree(true, null, null, solutionTree.isShowHiddenFiles());
          } catch (RequestException e) {
            // showError(e);
          }
        }