From 8e6542a93cd4fc913788d059deb47bfe35c0bc11 Mon Sep 17 00:00:00 2001 From: anna Date: Wed, 4 Jan 2012 16:27:15 +0100 Subject: [PATCH] coverage view: scroll to/from source; generate report --- .../ui/AutoScrollToSourceHandler.java | 29 +++++++++++++++++-- 1 file changed, 27 insertions(+), 2 deletions(-) diff --git a/platform/platform-api/src/com/intellij/ui/AutoScrollToSourceHandler.java b/platform/platform-api/src/com/intellij/ui/AutoScrollToSourceHandler.java index 83b396651d51..51e35d615f93 100644 --- a/platform/platform-api/src/com/intellij/ui/AutoScrollToSourceHandler.java +++ b/platform/platform-api/src/com/intellij/ui/AutoScrollToSourceHandler.java @@ -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() {