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

coverage view: scroll to/from source; generate report

Browse Source
This commit is contained in:
anna
2012-01-04 16:29:27 +01:00
parent e75f2378b3
commit 8e6542a93c
1 changed files with 27 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/AutoScrollToSourceHandler.java
+27 -2
View File
@@ -22,11 +22,9 @@ import com.intellij.openapi.actionSystem.DataContext;
import com.intellij.openapi.actionSystem.PlatformDataKeys;
import com.intellij.openapi.actionSystem.ToggleAction;
import com.intellij.openapi.application.ApplicationManager;
import com.intellij.openapi.fileTypes.FileTypeManager;
import com.intellij.openapi.fileTypes.FileTypes;
import com.intellij.openapi.project.DumbAware;
import com.intellij.openapi.util.ActionCallback;
import com.intellij.openapi.util.BusyObject;
import com.intellij.openapi.util.IconLoader;
import com.intellij.openapi.vfs.VirtualFile;
import com.intellij.openapi.wm.ToolWindow;
@@ -77,6 +75,33 @@ public abstract class AutoScrollToSourceHandler {
);
}
public void install(final JTable table) {
myAutoScrollAlarm = new Alarm();
table.addMouseListener(new MouseAdapter() {
public void mouseClicked(MouseEvent e) {
if (e.getClickCount() == 2) return;
Component location = table.getComponentAt(e.getPoint());
if (location != null) {
onMouseClicked(table);
}
}
});
table.addMouseMotionListener(new MouseMotionAdapter() {
public void mouseDragged(final MouseEvent e) {
onSelectionChanged(table);
}
});
table.getSelectionModel().addListSelectionListener(
new ListSelectionListener() {
@Override
public void valueChanged(ListSelectionEvent e) {
onSelectionChanged(table);
}
}
);
}
public void install(final JList jList) {
myAutoScrollAlarm = new Alarm();
jList.addMouseListener(new MouseAdapter() {