class PythonWindow(KeyListener):
def __init__(self):
self.frame = JFrame("Python Window")
self.historyList = JList(DefaultListModel())
self.historyList.cellRenderer = MyListCellRenderer()
#self.historyPanel.layout = BoxLayout(
# self.historyPanel,
# BoxLayout.Y_AXIS
#)
scrollpane = JScrollPane()
# JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,
# JScrollPane.HORIZONTAL_SCROLLBAR_NEVER
#)
# scrollpane.preferredSize = 400, 800
inputPanel = JPanel()
inputPanel.layout = GridLayout(1, 1)
self.input = JTextArea("")
self.input.border = BorderFactory.createEmptyBorder(5, 5, 5, 5)
self.input.tabSize = 4
self.input.font = Font("Monospaced", Font.PLAIN, 12)
#self.input.preferredSize = 500, 200
self.input.addKeyListener(self)
#self.button = JButton('Run', actionPerformed=self.run)
inputPanel.add(self.input)
#inputPanel.add(self.button)
scrollpane.viewport.view = self.historyList
self.frame.add(scrollpane, BorderLayout.CENTER)
self.frame.add(inputPanel, BorderLayout.PAGE_END)
self.frame.size = 500, 600
self.frame.visible = False
def toggle_visibility(self):
self.frame.visible = not self.frame.visible
def add(self, text, type="input"):
self.historyList.model.addElement({"text": text, "type": type})
self.historyList.validate()
self.frame.validate()
last = self.historyList.model.getSize() - 1
self.historyList.ensureIndexIsVisible(last)
def write(self, text):
self.add(text, "output")
def run(self, evt):
source = self.input.text
if not source.strip():
self.input.text = ""
return
processed_source = source.replace("$", "geo.")
code = interface.compileinteractive(processed_source)
if code in ("continue", "error"):
code = interface.compilemodule(processed_source)
if code == "error":
return
self.add(source.strip())
result = interface.run(code)
if result == "OK":
self.input.text = ""
def keyPressed(self, evt):
pass
def keyReleased(self, evt):
pass
def keyTyped(self, evt):
if evt.keyChar == '\n':
# Only try to run compound statements when they end with
# two \n
source = self.input.text
lines = source.split("\n")
if lines[0].rstrip().endswith(":") and not source.endswith("\n\n"):
for i, c in enumerate(lines[-2]):
if c not in ' \t': break
else:
self.run(evt)
return
prefix = lines[-2][:i]
if lines[-2].endswith(":"):
prefix += '\t'
self.input.text = source + prefix
else:
self.run(evt)
class Popup(JWindow):
"""Popup window to display list of methods for completion"""
MAX_HEIGHT = 300
MIN_WIDTH = 200
MAX_WIDTH = 400
def __init__(self, frame, textComponent):
JWindow.__init__(self, frame)
self.textComponent = textComponent
self.size = (200, 200)
self.list = JList(keyPressed=self.key)
self.list.setBackground(Color(255, 255, 225)) # TODO move this color
self.getContentPane().add(JScrollPane(self.list))
self.list.setSelectedIndex(0)
self.originalData = ""
self.data = ""
self.typed = ""
def key(self, e):
# print >> sys.stderr, "Other Listener"
if not self.visible:
return
code = e.getKeyCode()
if code == KeyEvent.VK_ESCAPE:
self.hide()
elif code == KeyEvent.VK_ENTER or code == KeyEvent.VK_TAB:
self.chooseSelected()
e.consume()
elif code == KeyEvent.VK_SPACE:
# TODO for functions: choose the selected option, add parenthesis
# and put the cursor between them. example: obj.function(^cursor_here)
self.chooseSelected()
elif code == KeyEvent.VK_PERIOD:
self.chooseSelected()
#e.consume()
# This fails because the key listener in console gets it first
elif code == KeyEvent.VK_LEFT_PARENTHESIS:
self.chooseSelected()
elif code == 8: # BACKSPACE
if len(self.typed) == 0:
self.hide()
self.typed = self.typed[:-1]
print >> sys.stderr, self.typed
self.data = filter(self.originalData, self.typed)
self.list.setListData(self.data)
self.list.setSelectedIndex(0)
elif code == KeyEvent.VK_UP:
self.up()
# consume event to avoid history previous
e.consume()
elif code == KeyEvent.VK_DOWN:
self.down()
# consume event to avoid history next
e.consume()
elif code == KeyEvent.VK_PAGE_UP:
self.pageUp()
e.consume()
elif code == KeyEvent.VK_PAGE_DOWN:
self.pageDown()
e.consume()
else:
char = e.getKeyChar()
if Character.isJavaLetterOrDigit(char):
self.typed += char
self.data = filter(self.data, self.typed)
self.list.setListData(self.data)
self.list.setSelectedIndex(0)
def down(self):
index = self.list.getSelectedIndex()
max = self.getListSize() - 1
if index < max:
index += 1
self.setSelected(index)
def up(self):
index = self.list.getSelectedIndex()
if index > 0:
index -= 1
self.setSelected(index)
def pageUp(self):
index = self.list.getSelectedIndex()
visibleRows = self.list.getVisibleRowCount()
index = max(index - visibleRows, 0)
self.setSelected(index)
def pageDown(self):
index = self.list.getSelectedIndex()
visibleRows = self.list.getVisibleRowCount()
index = min(index + visibleRows, self.getListSize() - 1)
self.setSelected(index)
def setSelected(self, index):
self.list.setSelectedIndex(index)
self.list.ensureIndexIsVisible(index)
def getListSize(self):
return self.list.getModel().getSize()
def chooseSelected(self):
"""Choose the selected value in the list"""
value = self.list.getSelectedValue()
if value != None:
startPosition = self.dotPosition + 1
caretPosition = self.textComponent.getCaretPosition()
self.textComponent.select(startPosition, caretPosition)
self.textComponent.replaceSelection(value)
self.textComponent.setCaretPosition(startPosition + len(value))
self.hide()
def setMethods(self, methodList):
methodList.sort()
self.data = methodList
self.originalData = methodList
self.typed = ""
self.list.setListData(methodList)
def show(self):
# when the popup becomes visible, build the cursor
# so we know how to replace the selection
self.dotPosition = self.textComponent.getCaretPosition()
self.setSize(self.getPreferredSize())
self.super__show()
def showMethodCompletionList(self, list, displayPoint):
self.setLocation(displayPoint)
self.setMethods(list)
self.show()
self.list.setSelectedIndex(0)
def getPreferredSize(self):
# need to add a magic amount to the size to avoid scrollbars
# I'm sure there's a better way to do this
MAGIC = 20
size = self.list.getPreferredScrollableViewportSize()
height = size.height + MAGIC
width = size.width + MAGIC
if height > Popup.MAX_HEIGHT:
height = Popup.MAX_HEIGHT
if width > Popup.MAX_WIDTH:
width = Popup.MAX_WIDTH
if width < Popup.MIN_WIDTH:
width = Popup.MIN_WIDTH
return Dimension(width, height)
class Popup(JWindow):
"""Popup window to display list of methods for completion"""
MAX_HEIGHT = 300
MIN_WIDTH = 200
MAX_WIDTH = 400
def __init__(self, frame, textComponent):
JWindow.__init__(self, frame)
self.textComponent = textComponent
self.size = (200,200)
self.list = JList(keyPressed=self.key)
self.list.setBackground(Color(255,255,225)) # TODO move this color
self.getContentPane().add(JScrollPane(self.list))
self.list.setSelectedIndex(0)
self.originalData = ""
self.data = ""
self.typed = ""
def key(self, e):
# print >> sys.stderr, "Other Listener"
if not self.visible:
return
code = e.getKeyCode()
if code == KeyEvent.VK_ESCAPE:
self.hide()
elif code == KeyEvent.VK_ENTER or code == KeyEvent.VK_TAB:
self.chooseSelected()
e.consume()
elif code == KeyEvent.VK_SPACE:
# TODO for functions: choose the selected option, add parenthesis
# and put the cursor between them. example: obj.function(^cursor_here)
self.chooseSelected()
elif code == KeyEvent.VK_PERIOD:
self.chooseSelected()
#e.consume()
# This fails because the key listener in console gets it first
elif code == KeyEvent.VK_LEFT_PARENTHESIS:
self.chooseSelected()
elif code == 8: # BACKSPACE
if len(self.typed) == 0:
self.hide()
self.typed = self.typed[:-1]
print >> sys.stderr, self.typed
self.data = filter(self.originalData, self.typed)
self.list.setListData(self.data)
self.list.setSelectedIndex(0)
elif code == KeyEvent.VK_UP:
self.previous()
# consume event to avoid history previous
e.consume()
elif code == KeyEvent.VK_DOWN:
self.next()
# consume event to avoid history next
e.consume()
else:
char = e.getKeyChar()
if Character.isJavaLetterOrDigit(char):
self.typed += char
self.data = filter(self.data, self.typed)
self.list.setListData(self.data)
self.list.setSelectedIndex(0)
def next(self):
index = self.list.getSelectedIndex()
max = (self.list.getModel().getSize() - 1)
if index < max:
index += 1
self.list.setSelectedIndex(index)
self.list.ensureIndexIsVisible(index)
def previous(self):
index = self.list.getSelectedIndex()
if index > 0:
index -= 1
self.list.setSelectedIndex(index)
self.list.ensureIndexIsVisible(index)
def chooseSelected(self):
"""Choose the selected value in the list"""
value = self.list.getSelectedValue()
if value != None:
startPosition = self.dotPosition + 1
caretPosition = self.textComponent.getCaretPosition()
self.textComponent.select(startPosition, caretPosition)
self.textComponent.replaceSelection(value)
self.textComponent.setCaretPosition(startPosition + len(value))
self.hide()
def setMethods(self, methodList):
methodList.sort()
self.data = methodList
self.originalData = methodList
self.typed = ""
self.list.setListData(methodList)
def show(self):
# when the popup becomes visible, get the cursor
# so we know how to replace the selection
self.dotPosition = self.textComponent.getCaretPosition()
self.setSize(self.getPreferredSize())
JWindow.show(self)
def showMethodCompletionList(self, list, displayPoint):
self.setLocation(displayPoint)
self.setMethods(list)
self.show()
self.list.setSelectedIndex(0)
def getPreferredSize(self):
# need to add a magic amount to the size to avoid scrollbars
# I'm sure there's a better way to do this
MAGIC = 20
size = self.list.getPreferredScrollableViewportSize()
height = size.height + MAGIC
width = size.width + MAGIC
if height > Popup.MAX_HEIGHT:
height = Popup.MAX_HEIGHT
if width > Popup.MAX_WIDTH:
width = Popup.MAX_WIDTH
if width < Popup.MIN_WIDTH:
widht = Popup.MIN_WIDTH
return Dimension(width, height)
class Popup(JWindow):
"""Popup window to display list of methods for completion"""
MAX_HEIGHT = 300
MIN_WIDTH = 200
MAX_WIDTH = 400
def __init__(self, frame, textComponent):
JWindow.__init__(self, frame)
self.textComponent = textComponent
self.size = (200, 200)
self.list = JList(keyPressed=self.key)
self.list.setBackground(Color(255, 255, 225)) # TODO move this color
self.getContentPane().add(JScrollPane(self.list))
self.list.setSelectedIndex(0)
self.originalData = ""
self.data = ""
self.typed = ""
def key(self, e):
# key listener
#print "Other Listener"
code = e.getKeyCode()
#print 'keychar:',e.getKeyChar()
if code == KeyEvent.VK_ESCAPE:
self.hide()
elif code == KeyEvent.VK_ENTER or code == KeyEvent.VK_TAB:
self.chooseSelected()
e.consume()
elif code == 8: # BACKSPACE
self.typed = self.typed[:-1]
self.data = filter(self.originalData, self.typed)
self.list.setListData(self.data)
self.list.setSelectedIndex(0)
elif code == KeyEvent.VK_UP:
self.previous()
# consume event to avoid history previous
e.consume()
elif code == KeyEvent.VK_DOWN:
self.next()
# consume event to avoid history next
e.consume()
else:
char = e.getKeyChar()
if Character.isJavaLetterOrDigit(char):
self.typed += char
self.data = filter(self.data, self.typed)
self.list.setListData(self.data)
self.list.setSelectedIndex(0)
def next(self):
index = self.list.getSelectedIndex()
max = (self.list.getModel().getSize() - 1)
if index < max:
index += 1
self.list.setSelectedIndex(index)
self.list.ensureIndexIsVisible(index)
def previous(self):
index = self.list.getSelectedIndex()
if index > 0:
index -= 1
self.list.setSelectedIndex(index)
self.list.ensureIndexIsVisible(index)
def chooseSelected(self):
"""Choose the selected value in the list"""
value = self.list.getSelectedValue()
startPosition = self.dotPosition + 1
caretPosition = self.textComponent.getCaretPosition()
self.textComponent.select(startPosition, caretPosition)
self.textComponent.replaceSelection(value)
self.textComponent.setCaretPosition(startPosition + len(value))
self.hide()
def setMethods(self, methodList):
methodList.sort()
self.data = methodList
self.originalData = methodList
self.typed = ""
self.list.setListData(methodList)
def show(self):
# when the popup becomes visible, get the cursor
# so we know how to replace the selection
self.dotPosition = self.textComponent.getCaretPosition()
self.setSize(self.getPreferredSize())
JWindow.show(self)
def getPreferredSize(self):
# need to add a magic amount to the size to avoid scrollbars
# I'm sure there's a better way to do this
MAGIC = 20
size = self.list.getPreferredScrollableViewportSize()
height = size.height + MAGIC
width = size.width + MAGIC
if height > Popup.MAX_HEIGHT:
height = Popup.MAX_HEIGHT
if width > Popup.MAX_WIDTH:
width = Popup.MAX_WIDTH
if width < Popup.MIN_WIDTH:
widht = Popup.MIN_WIDTH
return Dimension(width, height)
