Open GoogleCodeExporter opened 9 years ago
problem solved: you have to add the following PropertyChangeListener to the
JScrollPane
from java.beans import PropertyChangeListener
from java.lang import Runnable
from javax.swing import SwingUtilities
class KeymapRestoreListener(PropertyChangeListener):
def __init__(self, text_pane):
self.text_pane = text_pane
self.keymap = text_pane.keymap
def propertyChange(self, evt):
if (evt.getPropertyName() == "UI"):
SwingUtilities.invokeLater(RestoreRunner(self.text_pane, self.keymap))
class RestoreRunner(Runnable):
def __init__(self, text_pane, keymap):
self.text_pane = text_pane
self.keymap = keymap
def run(self):
self.text_pane.keymap = self.keymap
Original comment by twillim...@gmail.com
on 21 May 2010 at 9:40
Original issue reported on code.google.com by
twillim...@gmail.com
on 21 May 2010 at 3:00