box.set_border_width(4)
win.add(box)
- ## If we have a prompt, insert it.
- if opts.prompt is not None:
- box.pack_start(GTK.Label(opts.prompt), False)
-
## Choose the appropriate widget.
if opts.file is None:
entry = SimpleEntry()
else:
raise
+ ## If we have a prompt, insert it.
+ if opts.prompt is not None:
+ label = GTK.Label(opts.prompt)
+ label.set_properties(mnemonic_widget = entry,
+ use_underline = True)
+ box.pack_start(label, False)
+
## Insert the widget and configure it.
box.pack_start(entry, True)
if opts.default == '@':