Issue #1193 Fixed sampling resource input handler so it is added at higher priority than tools

Change-Id: I3818eefaf756f049173664a70286af057bfa33e8

Former-commit-id: 8914baa18e7a95a999dc56f3eef0496d513e255c
This commit is contained in:
Max Schenkelberg 2012-09-19 13:12:15 -05:00
parent 2d7c80b0cf
commit a1857c6a43

View file

@ -148,8 +148,8 @@ public class SamplingResource extends
protected void initInternal(IGraphicsTarget target) throws VizException { protected void initInternal(IGraphicsTarget target) throws VizException {
IDisplayPaneContainer container = getResourceContainer(); IDisplayPaneContainer container = getResourceContainer();
if (container != null) { if (container != null) {
container container.registerMouseHandler(inputAdapter,
.registerMouseHandler(inputAdapter, InputPriority.RESOURCE); InputPriority.SYSTEM_RESOURCE);
} }
hoverFont = target.initializeFont(getClass().getName()); hoverFont = target.initializeFont(getClass().getName());
} }
@ -391,15 +391,13 @@ public class SamplingResource extends
while (j < split.length) { while (j < split.length) {
String s = split[j]; String s = split[j];
if (s.length() + line.length() <= approxLenPerStr) { if (s.length() + line.length() <= approxLenPerStr) {
if (!s.isEmpty()){ if (!s.isEmpty()) {
if (j == split.length -1 && split[1].equalsIgnoreCase("=")) if (j == split.length - 1
{ && split[1].equalsIgnoreCase("=")) {
line = split[split.length-1]; line = split[split.length - 1];
} } else {
else line += " " + s;
{ }
line += " " + s;
}
} else { } else {
line += " "; line += " ";
} }