155
.object_path)
155
.object_path)
156
elif key == u"s":
156
elif key == u"s":
157
self.proxy.StartChecker()
157
self.proxy.StartChecker()
158
elif key == u"c":
158
elif key == u"S":
159
self.proxy.StopChecker()
159
self.proxy.StopChecker()
160
elif key == u"S":
160
elif key == u"C":
161
self.proxy.CheckedOK()
161
self.proxy.CheckedOK()
163
# elif key == u"p" or key == "=":
163
# elif key == u"p" or key == "=":
250
self.log_wrap = u"any"
250
self.log_wrap = u"any"
252
self.rebuild()
252
self.rebuild()
253
self.log_message(u"Message")
253
self.log_message((u"bold",
254
self.log_message(u"Message0 Message1 Message2 Message3 Message4 Message5 Message6 Message7 Message8 Message9")
254
u"Mandos Monitor version " + version))
255
self.log_message(u"Message10 Message11 Message12 Message13 Message14 Message15 Message16 Message17 Message18 Message19")
255
self.log_message((u"bold",
256
self.log_message(u"Message20 Message21 Message22 Message23 Message24 Message25 Message26 Message27 Message28 Message29")
256
u"q: Quit ?: Help"))
258
self.busname = domain + '.Mandos'
258
self.busname = domain + '.Mandos'
259
self.main_loop = gobject.MainLoop()
259
self.main_loop = gobject.MainLoop()
430
self.change_log_display()
430
self.change_log_display()
431
self.refresh()
431
self.refresh()
432
elif key == u"?" or key == u"f1":
432
elif key == u"?" or key == u"f1":
433
self.log_message(u"Help!")
433
if not self.log_visible:
434
self.log_visible = True
436
self.log_message((u"bold",
437
u" ".join((u"q: Quit",
439
u"l: Log window toggle",
440
u"TAB: Switch window",
442
self.log_message((u"bold",
443
u" ".join((u"Clients:",
447
u"s: Start new checker",
434
self.refresh()
450
self.refresh()
435
elif key == u"tab":
451
elif key == u"tab":
436
if self.topwidget.get_focus() is self.logbox:
452
if self.topwidget.get_focus() is self.logbox:
439
self.topwidget.set_focus(self.logbox)
455
self.topwidget.set_focus(self.logbox)
440
self.refresh()
456
self.refresh()
441
elif (key == u"end" or key == u"meta >" or key == u"G"
457
#elif (key == u"end" or key == u"meta >" or key == u"G"
442
or key == u">"):
458
# or key == u">"):
443
pass # xxx end-of-buffer
459
# pass # xxx end-of-buffer
444
elif (key == u"home" or key == u"meta <" or key == u"g"
460
#elif (key == u"home" or key == u"meta <" or key == u"g"
445
or key == u"<"):
461
# or key == u"<"):
446
pass # xxx beginning-of-buffer
462
# pass # xxx beginning-of-buffer
447
elif key == u"ctrl e" or key == u"$":
463
#elif key == u"ctrl e" or key == u"$":
448
pass # xxx move-end-of-line
464
# pass # xxx move-end-of-line
449
elif key == u"ctrl a" or key == u"^":
465
#elif key == u"ctrl a" or key == u"^":
450
pass # xxx move-beginning-of-line
466
# pass # xxx move-beginning-of-line
451
elif key == u"ctrl b" or key == u"meta (" or key == u"h":
467
#elif key == u"ctrl b" or key == u"meta (" or key == u"h":
452
pass # xxx left
468
# pass # xxx left
453
elif key == u"ctrl f" or key == u"meta )" or key == u"l":
469
#elif key == u"ctrl f" or key == u"meta )" or key == u"l":
454
pass # xxx right
470
# pass # xxx right
455
elif key == u"a":
471
#elif key == u"a":
456
pass # scroll up log
472
# pass # scroll up log
457
elif key == u"z":
473
#elif key == u"z":
458
pass # scroll down log
474
# pass # scroll down log
459
elif self.topwidget.selectable():
475
elif self.topwidget.selectable():
460
self.topwidget.keypress(self.size, key)
476
self.topwidget.keypress(self.size, key)
461
self.refresh()
477
self.refresh()