|
23 | 23 |
|
24 | 24 | package processing.app.ui; |
25 | 25 |
|
26 | | -import java.awt.*; |
27 | | -import java.awt.datatransfer.*; |
28 | | -import java.awt.event.*; |
29 | | -import java.awt.print.*; |
30 | | -import java.io.*; |
31 | | -import java.util.ArrayList; |
32 | | -import java.util.Collections; |
33 | | -import java.util.HashMap; |
34 | | -import java.util.HashSet; |
35 | | -import java.util.List; |
36 | | -import java.util.Map; |
37 | | -import java.util.Set; |
38 | | -import java.util.Stack; |
39 | | -import java.util.Timer; |
40 | | -import java.util.TimerTask; |
41 | | -import java.util.stream.Collectors; |
42 | | - |
43 | | -import javax.swing.*; |
44 | | -import javax.swing.border.EmptyBorder; |
45 | | -import javax.swing.event.*; |
46 | | -import javax.swing.plaf.basic.*; |
47 | | -import javax.swing.text.*; |
48 | | -import javax.swing.text.html.*; |
49 | | -import javax.swing.undo.*; |
50 | | - |
51 | 26 | import com.formdev.flatlaf.util.SystemInfo; |
52 | 27 | import processing.app.*; |
53 | | -import processing.utils.SketchException; |
| 28 | +import processing.app.Formatter; |
54 | 29 | import processing.app.contrib.ContributionManager; |
55 | 30 | import processing.app.laf.PdeMenuItemUI; |
56 | 31 | import processing.app.syntax.*; |
57 | | -import processing.core.*; |
| 32 | +import processing.core.PApplet; |
| 33 | +import processing.utils.SketchException; |
| 34 | + |
| 35 | +import javax.swing.*; |
| 36 | +import javax.swing.border.EmptyBorder; |
| 37 | +import javax.swing.event.*; |
| 38 | +import javax.swing.plaf.basic.BasicSplitPaneDivider; |
| 39 | +import javax.swing.plaf.basic.BasicSplitPaneUI; |
| 40 | +import javax.swing.text.BadLocationException; |
| 41 | +import javax.swing.text.Element; |
| 42 | +import javax.swing.text.View; |
| 43 | +import javax.swing.text.ViewFactory; |
| 44 | +import javax.swing.text.html.HTMLEditorKit; |
| 45 | +import javax.swing.undo.CannotRedoException; |
| 46 | +import javax.swing.undo.CannotUndoException; |
| 47 | +import javax.swing.undo.CompoundEdit; |
| 48 | +import javax.swing.undo.UndoManager; |
| 49 | +import java.awt.*; |
| 50 | +import java.awt.datatransfer.DataFlavor; |
| 51 | +import java.awt.datatransfer.Transferable; |
| 52 | +import java.awt.event.*; |
| 53 | +import java.awt.print.PageFormat; |
| 54 | +import java.awt.print.PrinterException; |
| 55 | +import java.awt.print.PrinterJob; |
| 56 | +import java.io.File; |
| 57 | +import java.io.IOException; |
| 58 | +import java.util.*; |
| 59 | +import java.util.List; |
| 60 | +import java.util.Timer; |
| 61 | +import java.util.stream.Collectors; |
58 | 62 |
|
59 | 63 |
|
60 | 64 | /** |
@@ -207,6 +211,10 @@ public void windowDeactivated(WindowEvent e) { |
207 | 211 | spacer.setAlignmentX(Component.LEFT_ALIGNMENT); |
208 | 212 | box.add(spacer); |
209 | 213 | } |
| 214 | + if (Platform.isLinux()) { |
| 215 | + setUndecorated(true); |
| 216 | + getRootPane().setWindowDecorationStyle(JRootPane.FRAME); |
| 217 | + } |
210 | 218 |
|
211 | 219 | rebuildModePopup(); |
212 | 220 | toolbar = createToolbar(); |
|
0 commit comments