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);
}
}