* fix repaint issues

This commit is contained in:
Reinhard Pointner 2013-10-31 15:23:43 +00:00
parent 214c99d180
commit dfed363a9b
1 changed files with 7 additions and 3 deletions

View File

@ -15,11 +15,15 @@ if (java.awt.GraphicsEnvironment.headless && console != null) {
System.exit(0)
} else {
// GUI mode
new groovy.swing.SwingBuilder().edt {
new groovy.swing.SwingBuilder().edt{
frame(title: 'Escape Tool', size: [350, 230], show: true, defaultCloseOperation: javax.swing.JFrame.EXIT_ON_CLOSE) {
gridLayout(cols: 1, rows: 2)
textArea id: 'value', lineWrap: true, font: new java.awt.Font('Monospaced', 0, 16)
textArea id: 'escape', lineWrap: true, text: bind(source:value, sourceProperty:'text', converter: { escapeShell(it) }), font: new java.awt.Font('Monospaced', 0, 16)
scrollPane{
textArea id: 'value', lineWrap: true, font: new java.awt.Font('Monospaced', 0, 16)
}
scrollPane{
textArea id: 'escape', lineWrap: true, text: bind(source:value, sourceProperty:'text', converter: { escapeShell(it) }), font: new java.awt.Font('Monospaced', 0, 16)
}
}
}
System.in.read() // wait for GUI to close