jshell: allow copy of shell console
This commit is contained in:
@@ -185,7 +185,6 @@ public abstract class ShellPanel extends JPanel
|
|||||||
}
|
}
|
||||||
|
|
||||||
console.setFont(codeFont);
|
console.setFont(codeFont);
|
||||||
console.setFocusable(false);
|
|
||||||
console.setEditable(false);
|
console.setEditable(false);
|
||||||
console.setOpaque(false); // this turns off the hover effect for some reason
|
console.setOpaque(false); // this turns off the hover effect for some reason
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user