public void mouseWheelMoved(MouseWheelEvent e) {
String st[] = {"PER UNITA'", "PER BLOCCO"};
int unit = e.getUnitsToScroll();
// calcolo per la scrollbar verticale l'attuale posizione
// e l'unità di incremento per scroll
JScrollBar sb = sp.getVerticalScrollBar();
int y = sb.getValue();
int y1 =
e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL
? sb.getUnitIncrement(1)
: sb.getBlockIncrement(1);
sb.setValue(y + y1 * unit); // aggiorna la view della textarea
int a = e.getScrollAmount();
int b = e.getScrollType();
int c = e.getUnitsToScroll();
int d = e.getWheelRotation();
double f = e.getPreciseWheelRotation();
String g =
"Unità da scorrere per giro di tacca: "
+ a
+ "\nTipo di scroll: "
+ st[e.getScrollType()]
+ "\nUnità che scorreranno verso l'alto: "
+ c
+ "\nNumero di tacche ruotate: "
+ d
+ "\nNumero di tacche precisamente ruotate: "
+ f;
wheel_area.setText(g);
}
HtmlPanel(final Map<String, Action> actions, HtmlPage page) throws IOException {
super(new BorderLayout());
this.actions = actions;
textPane = new JTextPane();
find = new JTextField();
matches = new JLabel();
this.page = null;
final Dimension d = matches.getPreferredSize();
matches.setPreferredSize(new Dimension(100, d.height));
textPane.setEditable(false);
textPane.setFocusable(false);
textPane.addHyperlinkListener(
new HyperlinkListener() {
public final void hyperlinkUpdate(HyperlinkEvent ev) {
if (ev.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
final JEditorPane pane = (JEditorPane) ev.getSource();
if (ev instanceof HTMLFrameHyperlinkEvent) {
final HTMLFrameHyperlinkEvent evt = (HTMLFrameHyperlinkEvent) ev;
final HTMLDocument doc = (HTMLDocument) pane.getDocument();
doc.processHTMLFrameHyperlinkEvent(evt);
} else if (Desktop.isDesktopSupported())
try {
Desktop.getDesktop().browse(ev.getURL().toURI());
} catch (final Exception e) {
e.printStackTrace();
}
}
}
});
final HTMLEditorKit kit =
new HTMLEditorKit() {
private static final long serialVersionUID = 1L;
@Override
public final Document createDefaultDocument() {
final HTMLDocument doc = (HTMLDocument) super.createDefaultDocument();
// Load synchronously.
doc.setAsynchronousLoadPriority(-1);
return doc;
}
};
final StyleSheet styleSheet = kit.getStyleSheet();
final InputStream is = getClass().getResourceAsStream("/doogal.css");
try {
styleSheet.loadRules(newBufferedReader(is), null);
} finally {
is.close();
}
textPane.setEditorKit(kit);
final Document doc = kit.createDefaultDocument();
textPane.setDocument(doc);
textPane.addMouseListener(
new MouseAdapter() {
private final void showPopup(MouseEvent e) {
if (e.isPopupTrigger()) {
final JPopupMenu menu = newPopupMenu(TableType.DOCUMENT, actions);
if (null != menu) menu.show(e.getComponent(), e.getX(), e.getY());
}
}
@Override
public final void mousePressed(MouseEvent e) {
showPopup(e);
}
@Override
public final void mouseReleased(MouseEvent e) {
showPopup(e);
}
});
find.setColumns(16);
find.setFont(new Font("Dialog", Font.PLAIN, TINY_FONT));
find.setMargin(new Insets(2, 2, 2, 2));
find.addActionListener(
new ActionListener() {
public final void actionPerformed(ActionEvent ev) {
find(find.getText());
}
});
final JLabel label = new JLabel("Quick Find: ");
label.setLabelFor(find);
final JButton clear = new JButton("Clear");
clear.setMargin(new Insets(1, 5, 0, 5));
clear.setFont(new Font("Dialog", Font.PLAIN, TINY_FONT));
clear.addActionListener(
new ActionListener() {
public final void actionPerformed(ActionEvent e) {
find.setText("");
find("");
}
});
final JPanel findPanel = new JPanel(new FlowLayout(FlowLayout.RIGHT));
findPanel.add(label);
findPanel.add(find);
findPanel.add(clear);
findPanel.add(matches);
scrollPane =
new JScrollPane(
textPane,
ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED,
ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER);
scrollPane.setFocusable(false);
final JScrollBar scrollBar = scrollPane.getVerticalScrollBar();
scrollBar.setBlockIncrement(scrollBar.getBlockIncrement() * 20);
scrollBar.setUnitIncrement(scrollBar.getUnitIncrement() * 20);
add(scrollPane, BorderLayout.CENTER);
add(findPanel, BorderLayout.SOUTH);
setPage(page);
}
public CopiesPanel(final Project project) {
myProject = project;
myConnection = myProject.getMessageBus().connect(myProject);
myVcs = SvnVcs.getInstance(myProject);
myCurrentInfoList = null;
final Runnable focus =
new Runnable() {
@Override
public void run() {
IdeFocusManager.getInstance(myProject).requestFocus(myRefreshLabel, true);
}
};
final Runnable refreshView =
new Runnable() {
@Override
public void run() {
final List<WCInfo> infoList = myVcs.getWcInfosWithErrors();
final boolean hasErrors = !myVcs.getSvnFileUrlMapping().getErrorRoots().isEmpty();
final List<WorkingCopyFormat> supportedFormats = getSupportedFormats();
Runnable runnable =
new Runnable() {
@Override
public void run() {
if (myCurrentInfoList != null) {
final List<OverrideEqualsWrapper<WCInfo>> newList =
ObjectsConvertor.convert(
infoList,
new Convertor<WCInfo, OverrideEqualsWrapper<WCInfo>>() {
@Override
public OverrideEqualsWrapper<WCInfo> convert(WCInfo o) {
return new OverrideEqualsWrapper<WCInfo>(
InfoEqualityPolicy.getInstance(), o);
}
},
ObjectsConvertor.NOT_NULL);
if (Comparing.haveEqualElements(newList, myCurrentInfoList)) {
myRefreshLabel.setEnabled(true);
return;
}
myCurrentInfoList = newList;
}
Collections.sort(infoList, WCComparator.getInstance());
updateList(infoList, supportedFormats);
myRefreshLabel.setEnabled(true);
showErrorNotification(hasErrors);
SwingUtilities.invokeLater(focus);
}
};
ApplicationManager.getApplication().invokeLater(runnable, ModalityState.NON_MODAL);
}
};
final Consumer<Boolean> refreshOnPooled =
new Consumer<Boolean>() {
@Override
public void consume(Boolean somethingNew) {
if (Boolean.TRUE.equals(somethingNew)) {
if (ApplicationManager.getApplication().isUnitTestMode()) {
refreshView.run();
} else {
ApplicationManager.getApplication().executeOnPooledThread(refreshView);
}
} else {
ApplicationManager.getApplication()
.invokeLater(
new Runnable() {
@Override
public void run() {
myRefreshLabel.setEnabled(true);
}
},
ModalityState.NON_MODAL);
}
}
};
myConnection.subscribe(SvnVcs.ROOTS_RELOADED, refreshOnPooled);
final JPanel holderPanel = new JPanel(new BorderLayout());
FontMetrics fm = holderPanel.getFontMetrics(holderPanel.getFont());
myTextHeight = (int) (fm.getHeight() * 1.3);
myPanel = new JPanel(new GridBagLayout());
final JPanel panel = new JPanel(new BorderLayout());
panel.add(myPanel, BorderLayout.NORTH);
holderPanel.add(panel, BorderLayout.WEST);
myRefreshLabel =
new MyLinkLabel(
myTextHeight,
"Refresh",
new LinkListener() {
@Override
public void linkSelected(LinkLabel aSource, Object aLinkData) {
if (myRefreshLabel.isEnabled()) {
myVcs.invokeRefreshSvnRoots();
myRefreshLabel.setEnabled(false);
}
}
});
final JScrollPane pane = ScrollPaneFactory.createScrollPane(holderPanel);
myHolder = pane;
final JScrollBar vBar = pane.getVerticalScrollBar();
vBar.setBlockIncrement(vBar.getBlockIncrement() * 5);
vBar.setUnitIncrement(vBar.getUnitIncrement() * 5);
myHolder.setBorder(null);
setFocusableForLinks(myRefreshLabel);
refreshOnPooled.consume(true);
initView();
}