MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

lst: remote tooltip text

Browse Source
This commit is contained in:
Aleksey Pivovarov
2016-09-08 12:40:10 +03:00
committed by Aleksey Pivovarov
parent 2efbba602c
commit 419d99630a
2 changed files with 0 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources-en/src/messages/VcsBundle.properties
-4
View File
@@ -139,10 +139,6 @@ button.configure=&Configure VCS...
action.name.rollback=Rollback
command.name.rollback.change=Rollback Change
action.name.show.difference=Show Difference
tooltip.text.line.before.deleted=Line before {0} deleted
tooltip.text.lines.before.deleted={1} lines before {0} deleted
tooltip.text.line.changed=Line {0} changed
tooltip.text.lines.changed=Lines {0}-{1} changed
dialog.title.diff.for.range=Diff for Range
diff.content.title.up.to.date=Base revision
diff.content.title.current.range=Current
platform/vcs-impl/src/com/intellij/openapi/vcs/ex/LineStatusMarkerRenderer.java
-21
View File
@@ -24,7 +24,6 @@ import com.intellij.openapi.editor.ex.EditorEx;
import com.intellij.openapi.editor.ex.EditorGutterComponentEx;
import com.intellij.openapi.editor.markup.*;
import com.intellij.openapi.util.TextRange;
import com.intellij.openapi.vcs.VcsBundle;
import com.intellij.util.Function;
import com.intellij.util.PairConsumer;
import com.intellij.util.ui.UIUtil;
@@ -58,8 +57,6 @@ public abstract class LineStatusMarkerRenderer implements ActiveGutterRenderer {
highlighter.setGreedyToLeft(true);
highlighter.setGreedyToRight(true);
highlighter.setErrorStripeTooltip(getTooltipText(range));
return highlighter;
}
@@ -124,24 +121,6 @@ public abstract class LineStatusMarkerRenderer implements ActiveGutterRenderer {
};
}
@NotNull
private static String getTooltipText(@NotNull Range range) {
if (range.getLine1() == range.getLine2()) {
if (range.getVcsLine1() + 1 == range.getVcsLine2()) {
return VcsBundle.message("tooltip.text.line.before.deleted", range.getLine1() + 1);
}
else {
return VcsBundle.message("tooltip.text.lines.before.deleted", range.getLine1() + 1, range.getVcsLine2() - range.getVcsLine1());
}
}
else if (range.getLine1() + 1 == range.getLine2()) {
return VcsBundle.message("tooltip.text.line.changed", range.getLine1() + 1);
}
else {
return VcsBundle.message("tooltip.text.lines.changed", range.getLine1() + 1, range.getLine2());
}
}
//
// Gutter painting
//