Issue #63 Globally rename identifier

This commit is contained in:
Jindra Pet��k
2013-06-23 16:16:44 +02:00
parent 2c94e938cc
commit 65ef206650
14 changed files with 810 additions and 611 deletions
@@ -262,7 +262,7 @@ public class ActionPush extends Action {
if (pos > 0) {
ret += " ";
}
ret += Highlighting.hilighOffset(toString(i), getAddress()+pos+1);
ret += Highlighting.hilighOffset(toString(i), getAddress() + pos + 1);
pos++;
}
return ret;