eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-02-03 21:59:20 +01:00
Code Issues Packages Projects Releases Wiki Activity

implementing new splash screen, sorting out other static init problems

Browse Source
This commit is contained in:
Ben Fry
2015-09-29 21:10:02 -04:00
parent c182cecd3d
commit 4892690e4e
11 changed files with 164 additions and 82 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
java/src/processing/mode/java/MarkerColumn.java
View File

@@ -61,8 +61,6 @@ public class MarkerColumn extends JPanel {
private Color errorColor;
private Color warningColor;
// private Color backgroundColor;
// private Image gutterGradient;
// Stores error markers displayed PER TAB along the error bar.
private List<LineMarker> errorPoints =
@@ -75,8 +73,6 @@ public class MarkerColumn extends JPanel {
Mode mode = editor.getMode();
errorColor = mode.getColor("editor.column.error.color");
warningColor = mode.getColor("editor.column.warning.color");
// backgroundColor = mode.getColor("editor.gutter.bgcolor");
// gutterGradient = mode.makeGradient("editor", Editor.RIGHT_GUTTER, height);
addMouseListener(new MouseAdapter() {
public void mouseClicked(MouseEvent e) {
@@ -98,6 +94,7 @@ public class MarkerColumn extends JPanel {
super.repaint();
}
public void paintComponent(Graphics g) {
g.drawImage(editor.getJavaTextArea().getGutterGradient(),
0, 0, getWidth(), getHeight(), this);
@@ -173,7 +170,15 @@ public class MarkerColumn extends JPanel {
}
/** Show tooltip on hover. */
/*
@Override
public JToolTip createToolTip() {
return new ErrorToolTip(editor.getMode(), this);
}
*/
/** Show tooltip on hover. */
private void showMarkerHover(final int y) {
try {
new SwingWorker() {