40
from gi.repository import Pango
41
from gi.repository import Gtk
42
from gi.repository import Gdk
43
class PythonConsole(gtk.ScrolledWindow):
44
class PythonConsole(Gtk.ScrolledWindow):
44
45
def __init__(self, namespace = {}, destroy_cb = None):
45
gtk.ScrolledWindow.__init__(self)
46
Gtk.ScrolledWindow.__init__(self)
47
48
self.destroy_cb = destroy_cb
48
self.set_policy(gtk.POLICY_NEVER, gtk.POLICY_AUTOMATIC);
49
self.set_shadow_type(gtk.SHADOW_IN)
50
self.view = gtk.TextView()
51
self.view.modify_font(pango.FontDescription('Monospace'))
49
self.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC);
50
self.set_shadow_type(Gtk.ShadowType.IN)
51
self.view = Gtk.TextView()
52
self.view.modify_font(Pango.font_description_from_string('Monospace'))
52
53
self.view.set_editable(True)
53
self.view.set_wrap_mode(gtk.WRAP_WORD_CHAR)
54
self.view.set_wrap_mode(Gtk.WrapMode.CHAR)
54
55
self.add(self.view)
89
90
def __key_press_event_cb(self, view, event):
90
if event.keyval == gtk.keysyms.d and event.state == gtk.gdk.CONTROL_MASK:
91
modifier_mask = Gtk.accelerator_get_default_mod_mask()
92
event_state = event.state & modifier_mask
94
if event.keyval == Gdk.KEY_d and event_state == Gdk.ModifierType.CONTROL_MASK:
93
elif event.keyval == gtk.keysyms.Return and event.state == gtk.gdk.CONTROL_MASK:
97
elif event.keyval == Gdk.KEY_Return and event_state == Gdk.ModifierType.CONTROL_MASK:
95
99
buffer = view.get_buffer()
96
100
inp_mark = buffer.get_mark("input")
97
101
inp = buffer.get_iter_at_mark(inp_mark)
98
102
cur = buffer.get_end_iter()
99
line = buffer.get_text(inp, cur)
103
line = buffer.get_text(inp, cur, True)
100
104
self.current_command = self.current_command + line + "\n"
101
105
self.history_add(line)
116
120
gobject.idle_add(self.scroll_to_end)
119
elif event.keyval == gtk.keysyms.Return:
123
elif event.keyval == Gdk.KEY_Return:
121
125
buffer = view.get_buffer()
122
126
lin_mark = buffer.get_mark("input-line")
125
129
# Get the command line
126
130
inp = buffer.get_iter_at_mark(inp_mark)
127
131
cur = buffer.get_end_iter()
128
line = buffer.get_text(inp, cur)
132
line = buffer.get_text(inp, cur, True)
129
133
self.current_command = self.current_command + line + "\n"
130
134
self.history_add(line)
160
164
gobject.idle_add(self.scroll_to_end)
163
elif event.keyval == gtk.keysyms.KP_Down or event.keyval == gtk.keysyms.Down:
167
elif event.keyval == Gdk.KEY_KP_Down or event.keyval == Gdk.KEY_Down:
164
168
# Next entry from history
165
169
view.emit_stop_by_name("key_press_event")
166
170
self.history_down()
167
171
gobject.idle_add(self.scroll_to_end)
170
elif event.keyval == gtk.keysyms.KP_Up or event.keyval == gtk.keysyms.Up:
174
elif event.keyval == Gdk.KEY_KP_Up or event.keyval == Gdk.KEY_Up:
171
175
# Previous entry from history
172
176
view.emit_stop_by_name("key_press_event")
173
177
self.history_up()
174
178
gobject.idle_add(self.scroll_to_end)
177
elif event.keyval == gtk.keysyms.KP_Left or event.keyval == gtk.keysyms.Left or \
178
event.keyval == gtk.keysyms.BackSpace:
181
elif event.keyval == Gdk.KEY_KP_Left or event.keyval == Gdk.KEY_Left or \
182
event.keyval == Gdk.KEY_BackSpace:
179
183
buffer = view.get_buffer()
180
184
inp = buffer.get_iter_at_mark(buffer.get_mark("input"))
181
185
cur = buffer.get_iter_at_mark(buffer.get_insert())
182
186
return inp.compare(cur) == 0
184
elif event.keyval == gtk.keysyms.Home:
188
elif event.keyval == Gdk.KEY_Home:
185
189
# Go to the begin of the command instead of the begin of the line
186
190
buffer = view.get_buffer()
187
191
inp = buffer.get_iter_at_mark(buffer.get_mark("input"))
188
if event.state == gtk.gdk.SHIFT_MASK:
192
if event_state == Gdk.ModifierType.SHIFT_MASK:
189
193
buffer.move_mark_by_name("insert", inp)
191
195
buffer.place_cursor(inp)
200
204
buffer = self.view.get_buffer()
201
205
inp = buffer.get_iter_at_mark(buffer.get_mark("input"))
202
206
cur = buffer.get_end_iter()
203
return buffer.get_text(inp, cur)
207
return buffer.get_text(inp, cur, True)
205
209
def set_command_line(self, command):
206
210
buffer = self.view.get_buffer()
233
237
def scroll_to_end(self):
234
238
iter = self.view.get_buffer().get_end_iter()
235
self.view.scroll_to_iter(iter, 0.0)
239
self.view.scroll_to_iter(iter, 0.0, False, 0.5, 0.5)
238
242
def write(self, text, tag = None):
239
buffer = self.view.get_buffer()
243
buf = self.view.get_buffer()
241
buffer.insert(buffer.get_end_iter(), text)
245
buf.insert(buf.get_end_iter(), text)
243
buffer.insert_with_tags(buffer.get_end_iter(), text, tag)
247
buf.insert_with_tags(buf.get_end_iter(), text, tag)
244
249
gobject.idle_add(self.scroll_to_end)
246
251
def eval(self, command, display_command = False):
264
269
buffer.insert(cur, ">>> ")
265
270
cur = buffer.get_end_iter()
266
271
buffer.move_mark_by_name("input", cur)
267
self.view.scroll_to_iter(buffer.get_end_iter(), 0.0)
272
self.view.scroll_to_iter(buffer.get_end_iter(), 0.0, False, 0.5, 0.5)
269
274
def __run(self, command):
270
275
sys.stdout, self.stdout = self.stdout, sys.stdout
271
276
sys.stderr, self.stderr = self.stderr, sys.stderr
275
280
r = eval(command, self.namespace, self.namespace)