blob: 70172fe75501886f784da605cbc3cc191de1362c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
package cuchaz.enigma.gui.util;
import javax.swing.*;
import javax.swing.text.BadLocationException;
import javax.swing.text.JTextComponent;
import java.awt.*;
import java.awt.event.MouseEvent;
import java.io.IOException;
import java.net.URI;
import java.net.URISyntaxException;
import java.util.Locale;
import java.util.StringJoiner;
public class GuiUtil {
public static void openUrl(String url) {
if (Desktop.isDesktopSupported()) {
Desktop desktop = Desktop.getDesktop();
try {
desktop.browse(new URI(url));
} catch (IOException ex) {
throw new Error(ex);
} catch (URISyntaxException ex) {
throw new IllegalArgumentException(ex);
}
}
}
public static JLabel unboldLabel(JLabel label) {
Font font = label.getFont();
label.setFont(font.deriveFont(font.getStyle() & ~Font.BOLD));
return label;
}
public static void showToolTipNow(JComponent component) {
// HACKHACK: trick the tooltip manager into showing the tooltip right now
ToolTipManager manager = ToolTipManager.sharedInstance();
int oldDelay = manager.getInitialDelay();
manager.setInitialDelay(0);
manager.mouseMoved(new MouseEvent(component, MouseEvent.MOUSE_MOVED, System.currentTimeMillis(), 0, 0, 0, 0, false));
manager.setInitialDelay(oldDelay);
}
public static Rectangle safeModelToView(JTextComponent component, int modelPos) {
if (modelPos < 0) {
modelPos = 0;
} else if (modelPos >= component.getText().length()) {
modelPos = component.getText().length();
}
try {
return component.modelToView(modelPos);
} catch (BadLocationException e) {
throw new RuntimeException(e);
}
}
}
|
