86
82
    properties and calls a hook function when any of them are
 
89
 
    def __init__(self, proxy_object=None, properties=None, **kwargs):
 
 
85
    def __init__(self, proxy_object=None, *args, **kwargs):
 
90
86
        self.proxy = proxy_object # Mandos Client proxy object
 
91
 
        self.properties = dict() if properties is None else properties
 
92
 
        self.property_changed_match = (
 
93
 
            self.proxy.connect_to_signal("PropertyChanged",
 
94
 
                                         self._property_changed,
 
98
 
        if properties is None:
 
99
 
            self.properties.update(
 
100
 
                self.proxy.GetAll(client_interface,
 
102
 
                                  = dbus.PROPERTIES_IFACE))
 
104
 
        super(MandosClientPropertyCache, self).__init__(**kwargs)
 
106
 
    def _property_changed(self, property, value):
 
107
 
        """Helper which takes positional arguments"""
 
108
 
        return self.property_changed(property=property, value=value)
 
 
88
        self.properties = dict()
 
 
89
        self.proxy.connect_to_signal(u"PropertyChanged",
 
 
90
                                     self.property_changed,
 
 
94
        self.properties.update(
 
 
95
            self.proxy.GetAll(client_interface,
 
 
96
                              dbus_interface = dbus.PROPERTIES_IFACE))
 
 
98
        #XXX This break good super behaviour!
 
 
99
#        super(MandosClientPropertyCache, self).__init__(
 
110
102
    def property_changed(self, property=None, value=None):
 
111
103
        """This is called whenever we get a PropertyChanged signal
 
 
134
123
        self.logger = logger
 
136
125
        self._update_timer_callback_tag = None
 
 
126
        self._update_timer_callback_lock = 0
 
 
127
        self.last_checker_failed = False
 
138
129
        # The widget shown normally
 
139
 
        self._text_widget = urwid.Text("")
 
 
130
        self._text_widget = urwid.Text(u"")
 
140
131
        # The widget shown when we have focus
 
141
 
        self._focus_text_widget = urwid.Text("")
 
142
 
        super(MandosClientWidget, self).__init__(**kwargs)
 
 
132
        self._focus_text_widget = urwid.Text(u"")
 
 
133
        super(MandosClientWidget, self).__init__(
 
 
134
            update_hook=update_hook, delete_hook=delete_hook,
 
144
137
        self.opened = False
 
146
 
        self.match_objects = (
 
147
 
            self.proxy.connect_to_signal("CheckerCompleted",
 
148
 
                                         self.checker_completed,
 
151
 
            self.proxy.connect_to_signal("CheckerStarted",
 
152
 
                                         self.checker_started,
 
155
 
            self.proxy.connect_to_signal("GotSecret",
 
159
 
            self.proxy.connect_to_signal("NeedApproval",
 
163
 
            self.proxy.connect_to_signal("Rejected",
 
167
 
        #self.logger('Created client {0}'
 
168
 
        #            .format(self.properties["Name"]))
 
 
139
        last_checked_ok = isoformat_to_datetime(self.properties
 
 
141
        if last_checked_ok is None:
 
 
142
            self.last_checker_failed = True
 
 
144
            self.last_checker_failed = ((datetime.datetime.utcnow()
 
 
151
        if self.last_checker_failed:
 
 
152
            self.using_timer(True)
 
 
154
        if self.need_approval:
 
 
155
            self.using_timer(True)
 
 
157
        self.proxy.connect_to_signal(u"CheckerCompleted",
 
 
158
                                     self.checker_completed,
 
 
161
        self.proxy.connect_to_signal(u"CheckerStarted",
 
 
162
                                     self.checker_started,
 
 
165
        self.proxy.connect_to_signal(u"GotSecret",
 
 
169
        self.proxy.connect_to_signal(u"NeedApproval",
 
 
173
        self.proxy.connect_to_signal(u"Rejected",
 
 
178
    def property_changed(self, property=None, value=None):
 
 
179
        super(self, MandosClientWidget).property_changed(property,
 
 
181
        if property == u"ApprovalPending":
 
 
182
            using_timer(bool(value))
 
170
184
    def using_timer(self, flag):
 
171
185
        """Call this method with True or False when timer should be
 
172
186
        activated or deactivated.
 
174
 
        if flag and self._update_timer_callback_tag is None:
 
175
 
            # Will update the shown timer value every second
 
 
188
        old = self._update_timer_callback_lock
 
 
190
            self._update_timer_callback_lock += 1
 
 
192
            self._update_timer_callback_lock -= 1
 
 
193
        if old == 0 and self._update_timer_callback_lock:
 
176
194
            self._update_timer_callback_tag = (gobject.timeout_add
 
178
196
                                                self.update_timer))
 
179
 
        elif not (flag or self._update_timer_callback_tag is None):
 
 
197
        elif old and self._update_timer_callback_lock == 0:
 
180
198
            gobject.source_remove(self._update_timer_callback_tag)
 
181
199
            self._update_timer_callback_tag = None
 
183
201
    def checker_completed(self, exitstatus, condition, command):
 
184
202
        if exitstatus == 0:
 
 
203
            if self.last_checker_failed:
 
 
204
                self.last_checker_failed = False
 
 
205
                self.using_timer(False)
 
 
206
            #self.logger(u'Checker for client %s (command "%s")'
 
 
208
            #            % (self.properties[u"Name"], command))
 
 
212
        if not self.last_checker_failed:
 
 
213
            self.last_checker_failed = True
 
 
214
            self.using_timer(True)
 
188
215
        if os.WIFEXITED(condition):
 
189
 
            self.logger('Checker for client {0} (command "{1}")'
 
190
 
                        ' failed with exit code {2}'
 
191
 
                        .format(self.properties["Name"], command,
 
192
 
                                os.WEXITSTATUS(condition)))
 
 
216
            self.logger(u'Checker for client %s (command "%s")'
 
 
217
                        u' failed with exit code %s'
 
 
218
                        % (self.properties[u"Name"], command,
 
 
219
                           os.WEXITSTATUS(condition)))
 
193
220
        elif os.WIFSIGNALED(condition):
 
194
 
            self.logger('Checker for client {0} (command "{1}") was'
 
195
 
                        ' killed by signal {2}'
 
196
 
                        .format(self.properties["Name"], command,
 
197
 
                                os.WTERMSIG(condition)))
 
 
221
            self.logger(u'Checker for client %s (command "%s")'
 
 
222
                        u' was killed by signal %s'
 
 
223
                        % (self.properties[u"Name"], command,
 
 
224
                           os.WTERMSIG(condition)))
 
198
225
        elif os.WCOREDUMP(condition):
 
199
 
            self.logger('Checker for client {0} (command "{1}")'
 
201
 
                        .format(self.properties["Name"], command))
 
 
226
            self.logger(u'Checker for client %s (command "%s")'
 
 
228
                        % (self.properties[u"Name"], command))
 
203
 
            self.logger('Checker for client {0} completed'
 
205
 
                        .format(self.properties["Name"]))
 
 
230
            self.logger(u'Checker for client %s completed'
 
208
234
    def checker_started(self, command):
 
209
 
        """Server signals that a checker started. This could be useful
 
210
 
           to log in the future. """
 
211
 
        #self.logger('Client {0} started checker "{1}"'
 
212
 
        #            .format(self.properties["Name"],
 
 
235
        #self.logger(u'Client %s started checker "%s"'
 
 
236
        #            % (self.properties[u"Name"], unicode(command)))
 
216
239
    def got_secret(self):
 
217
 
        self.logger('Client {0} received its secret'
 
218
 
                    .format(self.properties["Name"]))
 
 
240
        self.last_checker_failed = False
 
 
241
        self.logger(u'Client %s received its secret'
 
 
242
                    % self.properties[u"Name"])
 
220
244
    def need_approval(self, timeout, default):
 
222
 
            message = 'Client {0} needs approval within {1} seconds'
 
 
246
            message = u'Client %s needs approval within %s seconds'
 
224
 
            message = 'Client {0} will get its secret in {1} seconds'
 
225
 
        self.logger(message.format(self.properties["Name"],
 
 
248
            message = u'Client %s will get its secret in %s seconds'
 
 
250
                    % (self.properties[u"Name"], timeout/1000))
 
 
251
        self.using_timer(True)
 
228
253
    def rejected(self, reason):
 
229
 
        self.logger('Client {0} was rejected; reason: {1}'
 
230
 
                    .format(self.properties["Name"], reason))
 
 
254
        self.logger(u'Client %s was rejected; reason: %s'
 
 
255
                    % (self.properties[u"Name"], reason))
 
232
257
    def selectable(self):
 
233
258
        """Make this a "selectable" widget.
 
234
259
        This overrides the method from urwid.FlowWidget."""
 
237
 
    def rows(self, maxcolrow, focus=False):
 
 
262
    def rows(self, (maxcol,), focus=False):
 
238
263
        """How many rows this widget will occupy might depend on
 
239
264
        whether we have focus or not.
 
240
265
        This overrides the method from urwid.FlowWidget"""
 
241
 
        return self.current_widget(focus).rows(maxcolrow, focus=focus)
 
 
266
        return self.current_widget(focus).rows((maxcol,), focus=focus)
 
243
268
    def current_widget(self, focus=False):
 
244
269
        if focus or self.opened:
 
 
248
273
    def update(self):
 
249
274
        "Called when what is visible on the screen should be updated."
 
250
275
        # How to add standout mode to a style
 
251
 
        with_standout = { "normal": "standout",
 
252
 
                          "bold": "bold-standout",
 
254
 
                              "underline-blink-standout",
 
255
 
                          "bold-underline-blink":
 
256
 
                              "bold-underline-blink-standout",
 
 
276
        with_standout = { u"normal": u"standout",
 
 
277
                          u"bold": u"bold-standout",
 
 
279
                              u"underline-blink-standout",
 
 
280
                          u"bold-underline-blink":
 
 
281
                              u"bold-underline-blink-standout",
 
259
284
        # Rebuild focus and non-focus widgets using current properties
 
261
286
        # Base part of a client. Name!
 
262
 
        base = '{name}: '.format(name=self.properties["Name"])
 
263
 
        if not self.properties["Enabled"]:
 
265
 
            self.using_timer(False)
 
266
 
        elif self.properties["ApprovalPending"]:
 
 
287
        base = (u'%(name)s: '
 
 
288
                      % {u"name": self.properties[u"Name"]})
 
 
289
        if not self.properties[u"Enabled"]:
 
 
290
            message = u"DISABLED"
 
 
291
        elif self.properties[u"ApprovalPending"]:
 
267
292
            timeout = datetime.timedelta(milliseconds
 
268
293
                                         = self.properties
 
270
295
            last_approval_request = isoformat_to_datetime(
 
271
 
                self.properties["LastApprovalRequest"])
 
 
296
                self.properties[u"LastApprovalRequest"])
 
272
297
            if last_approval_request is not None:
 
273
 
                timer = max(timeout - (datetime.datetime.utcnow()
 
274
 
                                       - last_approval_request),
 
275
 
                            datetime.timedelta())
 
 
298
                timer = timeout - (datetime.datetime.utcnow()
 
 
299
                                   - last_approval_request)
 
277
301
                timer = datetime.timedelta()
 
278
 
            if self.properties["ApprovedByDefault"]:
 
279
 
                message = "Approval in {0}. (d)eny?"
 
281
 
                message = "Denial in {0}. (a)pprove?"
 
282
 
            message = message.format(unicode(timer).rsplit(".", 1)[0])
 
283
 
            self.using_timer(True)
 
284
 
        elif self.properties["LastCheckerStatus"] != 0:
 
285
 
            # When checker has failed, show timer until client expires
 
286
 
            expires = self.properties["Expires"]
 
288
 
                timer = datetime.timedelta(0)
 
290
 
                expires = (datetime.datetime.strptime
 
291
 
                           (expires, '%Y-%m-%dT%H:%M:%S.%f'))
 
292
 
                timer = max(expires - datetime.datetime.utcnow(),
 
293
 
                            datetime.timedelta())
 
294
 
            message = ('A checker has failed! Time until client'
 
295
 
                       ' gets disabled: {0}'
 
296
 
                       .format(unicode(timer).rsplit(".", 1)[0]))
 
297
 
            self.using_timer(True)
 
 
302
            if self.properties[u"ApprovedByDefault"]:
 
 
303
                message = u"Approval in %s. (d)eny?"
 
 
305
                message = u"Denial in %s. (a)pprove?"
 
 
306
            message = message % unicode(timer).rsplit(".", 1)[0]
 
 
307
        elif self.last_checker_failed:
 
 
308
            timeout = datetime.timedelta(milliseconds
 
 
311
            last_ok = isoformat_to_datetime(
 
 
312
                max((self.properties[u"LastCheckedOK"]
 
 
313
                     or self.properties[u"Created"]),
 
 
314
                    self.properties[u"LastEnabled"]))
 
 
315
            timer = timeout - (datetime.datetime.utcnow() - last_ok)
 
 
316
            message = (u'A checker has failed! Time until client'
 
 
317
                       u' gets disabled: %s'
 
 
318
                           % unicode(timer).rsplit(".", 1)[0])
 
300
 
            self.using_timer(False)
 
301
 
        self._text = "{0}{1}".format(base, message)
 
 
321
        self._text = "%s%s" % (base, message)
 
303
323
        if not urwid.supports_unicode():
 
304
324
            self._text = self._text.encode("ascii", "replace")
 
305
 
        textlist = [("normal", self._text)]
 
 
325
        textlist = [(u"normal", self._text)]
 
306
326
        self._text_widget.set_text(textlist)
 
307
327
        self._focus_text_widget.set_text([(with_standout[text[0]],
 
 
317
337
            self.update_hook()
 
319
339
    def update_timer(self):
 
320
 
        """called by gobject. Will indefinitely loop until
 
321
 
        gobject.source_remove() on tag is called"""
 
323
342
        return True             # Keep calling this
 
325
 
    def delete(self, **kwargs):
 
326
345
        if self._update_timer_callback_tag is not None:
 
327
346
            gobject.source_remove(self._update_timer_callback_tag)
 
328
347
            self._update_timer_callback_tag = None
 
329
 
        for match in self.match_objects:
 
331
 
        self.match_objects = ()
 
332
348
        if self.delete_hook is not None:
 
333
349
            self.delete_hook(self)
 
334
 
        return super(MandosClientWidget, self).delete(**kwargs)
 
336
 
    def render(self, maxcolrow, focus=False):
 
 
351
    def render(self, (maxcol,), focus=False):
 
337
352
        """Render differently if we have focus.
 
338
353
        This overrides the method from urwid.FlowWidget"""
 
339
 
        return self.current_widget(focus).render(maxcolrow,
 
 
354
        return self.current_widget(focus).render((maxcol,),
 
342
 
    def keypress(self, maxcolrow, key):
 
 
357
    def keypress(self, (maxcol,), key):
 
344
359
        This overrides the method from urwid.FlowWidget"""
 
346
 
            self.proxy.Enable(dbus_interface = client_interface,
 
349
 
            self.proxy.Disable(dbus_interface = client_interface,
 
 
361
            self.proxy.Enable(dbus_interface = client_interface)
 
 
363
            self.proxy.Disable(dbus_interface = client_interface)
 
352
365
            self.proxy.Approve(dbus.Boolean(True, variant_level=1),
 
353
 
                               dbus_interface = client_interface,
 
 
366
                               dbus_interface = client_interface)
 
356
368
            self.proxy.Approve(dbus.Boolean(False, variant_level=1),
 
357
 
                                  dbus_interface = client_interface,
 
359
 
        elif key == "R" or key == "_" or key == "ctrl k":
 
 
369
                                  dbus_interface = client_interface)
 
 
370
        elif key == u"R" or key == u"_" or key == u"ctrl k":
 
360
371
            self.server_proxy_object.RemoveClient(self.proxy
 
364
 
            self.proxy.StartChecker(dbus_interface = client_interface,
 
367
 
            self.proxy.StopChecker(dbus_interface = client_interface,
 
370
 
            self.proxy.CheckedOK(dbus_interface = client_interface,
 
 
374
            self.proxy.StartChecker(dbus_interface = client_interface)
 
 
376
            self.proxy.StopChecker(dbus_interface = client_interface)
 
 
378
            self.proxy.CheckedOK(dbus_interface = client_interface)
 
373
 
#         elif key == "p" or key == "=":
 
 
380
#         elif key == u"p" or key == "=":
 
374
381
#             self.proxy.pause()
 
375
 
#         elif key == "u" or key == ":":
 
 
382
#         elif key == u"u" or key == ":":
 
376
383
#             self.proxy.unpause()
 
 
384
#         elif key == u"RET":
 
382
 
    def property_changed(self, property=None, **kwargs):
 
 
389
    def property_changed(self, property=None, value=None,
 
383
391
        """Call self.update() if old value is not new value.
 
384
392
        This overrides the method from MandosClientPropertyCache"""
 
385
393
        property_name = unicode(property)
 
386
394
        old_value = self.properties.get(property_name)
 
387
395
        super(MandosClientWidget, self).property_changed(
 
388
 
            property=property, **kwargs)
 
 
396
            property=property, value=value, *args, **kwargs)
 
389
397
        if self.properties.get(property_name) != old_value:
 
 
412
421
        self.screen = urwid.curses_display.Screen()
 
414
423
        self.screen.register_palette((
 
416
 
                 "default", "default", None),
 
418
 
                 "default", "default", "bold"),
 
420
 
                 "default", "default", "underline"),
 
422
 
                 "default", "default", "standout"),
 
423
 
                ("bold-underline-blink",
 
424
 
                 "default", "default", ("bold", "underline")),
 
426
 
                 "default", "default", ("bold", "standout")),
 
427
 
                ("underline-blink-standout",
 
428
 
                 "default", "default", ("underline", "standout")),
 
429
 
                ("bold-underline-blink-standout",
 
430
 
                 "default", "default", ("bold", "underline",
 
 
425
                 u"default", u"default", None),
 
 
427
                 u"default", u"default", u"bold"),
 
 
429
                 u"default", u"default", u"underline"),
 
 
431
                 u"default", u"default", u"standout"),
 
 
432
                (u"bold-underline-blink",
 
 
433
                 u"default", u"default", (u"bold", u"underline")),
 
 
435
                 u"default", u"default", (u"bold", u"standout")),
 
 
436
                (u"underline-blink-standout",
 
 
437
                 u"default", u"default", (u"underline", u"standout")),
 
 
438
                (u"bold-underline-blink-standout",
 
 
439
                 u"default", u"default", (u"bold", u"underline",
 
434
443
        if urwid.supports_unicode():
 
435
 
            self.divider = "─" # \u2500
 
436
 
            #self.divider = "━" # \u2501
 
 
444
            self.divider = u"─" # \u2500
 
 
445
            #self.divider = u"━" # \u2501
 
438
 
            #self.divider = "-" # \u002d
 
439
 
            self.divider = "_" # \u005f
 
 
447
            #self.divider = u"-" # \u002d
 
 
448
            self.divider = u"_" # \u005f
 
441
450
        self.screen.start()
 
 
456
465
        # This keeps track of whether self.uilist currently has
 
457
466
        # self.logbox in it or not
 
458
467
        self.log_visible = True
 
459
 
        self.log_wrap = "any"
 
 
468
        self.log_wrap = u"any"
 
462
 
        self.log_message_raw(("bold",
 
463
 
                              "Mandos Monitor version " + version))
 
464
 
        self.log_message_raw(("bold",
 
 
471
        self.log_message_raw((u"bold",
 
 
472
                              u"Mandos Monitor version " + version))
 
 
473
        self.log_message_raw((u"bold",
 
467
476
        self.busname = domain + '.Mandos'
 
468
477
        self.main_loop = gobject.MainLoop()
 
 
478
        self.bus = dbus.SystemBus()
 
 
479
        mandos_dbus_objc = self.bus.get_object(
 
 
480
            self.busname, u"/", follow_name_owner_changes=True)
 
 
481
        self.mandos_serv = dbus.Interface(mandos_dbus_objc,
 
 
485
            mandos_clients = (self.mandos_serv
 
 
486
                              .GetAllClientsWithProperties())
 
 
487
        except dbus.exceptions.DBusException:
 
 
488
            mandos_clients = dbus.Dictionary()
 
 
491
         .connect_to_signal(u"ClientRemoved",
 
 
492
                            self.find_and_remove_client,
 
 
493
                            dbus_interface=server_interface,
 
 
496
         .connect_to_signal(u"ClientAdded",
 
 
498
                            dbus_interface=server_interface,
 
 
501
         .connect_to_signal(u"ClientNotFound",
 
 
502
                            self.client_not_found,
 
 
503
                            dbus_interface=server_interface,
 
 
505
        for path, client in mandos_clients.iteritems():
 
 
506
            client_proxy_object = self.bus.get_object(self.busname,
 
 
508
            self.add_client(MandosClientWidget(server_proxy_object
 
 
511
                                               =client_proxy_object,
 
470
521
    def client_not_found(self, fingerprint, address):
 
471
 
        self.log_message("Client with address {0} and fingerprint"
 
472
 
                         " {1} could not be found"
 
473
 
                         .format(address, fingerprint))
 
 
522
        self.log_message((u"Client with address %s and fingerprint %s"
 
 
523
                          u" could not be found" % (address,
 
475
526
    def rebuild(self):
 
476
527
        """This rebuilds the User Interface.
 
 
499
551
            and len(self.log) > self.max_log_length):
 
500
552
            del self.log[0:len(self.log)-self.max_log_length-1]
 
501
553
        self.logbox.set_focus(len(self.logbox.body.contents),
 
 
554
                              coming_from=u"above")
 
505
557
    def toggle_log_display(self):
 
506
558
        """Toggle visibility of the log buffer."""
 
507
559
        self.log_visible = not self.log_visible
 
509
 
        #self.log_message("Log visibility changed to: "
 
 
561
        #self.log_message(u"Log visibility changed to: "
 
510
562
        #                 + unicode(self.log_visible))
 
512
564
    def change_log_display(self):
 
513
565
        """Change type of log display.
 
514
566
        Currently, this toggles wrapping of text lines."""
 
515
 
        if self.log_wrap == "clip":
 
516
 
            self.log_wrap = "any"
 
 
567
        if self.log_wrap == u"clip":
 
 
568
            self.log_wrap = u"any"
 
518
 
            self.log_wrap = "clip"
 
 
570
            self.log_wrap = u"clip"
 
519
571
        for textwidget in self.log:
 
520
572
            textwidget.set_wrap_mode(self.log_wrap)
 
521
 
        #self.log_message("Wrap mode: " + self.log_wrap)
 
 
573
        #self.log_message(u"Wrap mode: " + self.log_wrap)
 
523
575
    def find_and_remove_client(self, path, name):
 
524
 
        """Find a client by its object path and remove it.
 
 
576
        """Find an client from its object path and remove it.
 
526
578
        This is connected to the ClientRemoved signal from the
 
527
579
        Mandos server object."""
 
 
577
627
        """Start the main loop and exit when it's done."""
 
578
 
        self.bus = dbus.SystemBus()
 
579
 
        mandos_dbus_objc = self.bus.get_object(
 
580
 
            self.busname, "/", follow_name_owner_changes=True)
 
581
 
        self.mandos_serv = dbus.Interface(mandos_dbus_objc,
 
585
 
            mandos_clients = (self.mandos_serv
 
586
 
                              .GetAllClientsWithProperties())
 
587
 
        except dbus.exceptions.DBusException:
 
588
 
            mandos_clients = dbus.Dictionary()
 
591
 
         .connect_to_signal("ClientRemoved",
 
592
 
                            self.find_and_remove_client,
 
593
 
                            dbus_interface=server_interface,
 
596
 
         .connect_to_signal("ClientAdded",
 
598
 
                            dbus_interface=server_interface,
 
601
 
         .connect_to_signal("ClientNotFound",
 
602
 
                            self.client_not_found,
 
603
 
                            dbus_interface=server_interface,
 
605
 
        for path, client in mandos_clients.iteritems():
 
606
 
            client_proxy_object = self.bus.get_object(self.busname,
 
608
 
            self.add_client(MandosClientWidget(server_proxy_object
 
611
 
                                               =client_proxy_object,
 
622
629
        self._input_callback_tag = (gobject.io_add_watch
 
623
630
                                    (sys.stdin.fileno(),
 
 
649
656
            except KeyError:    # :-)
 
652
 
            if key == "q" or key == "Q":
 
 
659
            if key == u"q" or key == u"Q":
 
655
 
            elif key == "window resize":
 
 
662
            elif key == u"window resize":
 
656
663
                self.size = self.screen.get_cols_rows()
 
658
 
            elif key == "\f":  # Ctrl-L
 
 
665
            elif key == u"\f":  # Ctrl-L
 
660
 
            elif key == "l" or key == "D":
 
 
667
            elif key == u"l" or key == u"D":
 
661
668
                self.toggle_log_display()
 
663
 
            elif key == "w" or key == "i":
 
 
670
            elif key == u"w" or key == u"i":
 
664
671
                self.change_log_display()
 
666
 
            elif key == "?" or key == "f1" or key == "esc":
 
 
673
            elif key == u"?" or key == u"f1" or key == u"esc":
 
667
674
                if not self.log_visible:
 
668
675
                    self.log_visible = True
 
670
 
                self.log_message_raw(("bold",
 
674
 
                                            "l: Log window toggle",
 
675
 
                                            "TAB: Switch window",
 
677
 
                self.log_message_raw(("bold",
 
683
 
                                             "s: Start new checker",
 
 
677
                self.log_message_raw((u"bold",
 
 
681
                                            u"l: Log window toggle",
 
 
682
                                            u"TAB: Switch window",
 
 
684
                self.log_message_raw((u"bold",
 
 
690
                                             u"s: Start new checker",
 
690
697
                if self.topwidget.get_focus() is self.logbox:
 
691
698
                    self.topwidget.set_focus(0)
 
693
700
                    self.topwidget.set_focus(self.logbox)
 
695
 
            #elif (key == "end" or key == "meta >" or key == "G"
 
 
702
            #elif (key == u"end" or key == u"meta >" or key == u"G"
 
697
704
            #    pass            # xxx end-of-buffer
 
698
 
            #elif (key == "home" or key == "meta <" or key == "g"
 
 
705
            #elif (key == u"home" or key == u"meta <" or key == u"g"
 
700
707
            #    pass            # xxx beginning-of-buffer
 
701
 
            #elif key == "ctrl e" or key == "$":
 
 
708
            #elif key == u"ctrl e" or key == u"$":
 
702
709
            #    pass            # xxx move-end-of-line
 
703
 
            #elif key == "ctrl a" or key == "^":
 
 
710
            #elif key == u"ctrl a" or key == u"^":
 
704
711
            #    pass            # xxx move-beginning-of-line
 
705
 
            #elif key == "ctrl b" or key == "meta (" or key == "h":
 
 
712
            #elif key == u"ctrl b" or key == u"meta (" or key == u"h":
 
706
713
            #    pass            # xxx left
 
707
 
            #elif key == "ctrl f" or key == "meta )" or key == "l":
 
 
714
            #elif key == u"ctrl f" or key == u"meta )" or key == u"l":
 
708
715
            #    pass            # xxx right
 
710
717
            #    pass            # scroll up log
 
712
719
            #    pass            # scroll down log
 
713
720
            elif self.topwidget.selectable():
 
714
721
                self.topwidget.keypress(self.size, key)