Author: koen.aers(a)jboss.com
Date: 2011-05-17 06:21:19 -0400 (Tue, 17 May 2011)
New Revision: 31345
Modified:
trunk/jbpm/plugins/org.jboss.tools.jbpm.common/src/org/jboss/tools/jbpm/preferences/DefaultPage.java
Log:
JBIDE-5610
Modified:
trunk/jbpm/plugins/org.jboss.tools.jbpm.common/src/org/jboss/tools/jbpm/preferences/DefaultPage.java
===================================================================
---
trunk/jbpm/plugins/org.jboss.tools.jbpm.common/src/org/jboss/tools/jbpm/preferences/DefaultPage.java 2011-05-17
09:04:45 UTC (rev 31344)
+++
trunk/jbpm/plugins/org.jboss.tools.jbpm.common/src/org/jboss/tools/jbpm/preferences/DefaultPage.java 2011-05-17
10:21:19 UTC (rev 31345)
@@ -32,6 +32,7 @@
public DefaultPage() {
super();
noDefaultAndApplyButton();
+ setDescription("Expand the tree to edit preferences for a specific
feature.");
}
protected Control createContents(Composite parent) {
Show replies by date