~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to www/plugins/console/__init__.py

  • Committer: drtomc
  • Date: 2008-02-29 03:00:36 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:628
console: Add output based interrupt. This allows users to interrupt long
         running outputs.
         TODO: poll for interrupts from cpu intensive ops.
         TODO: styling bug: the input box overlaps the output box. Matt?

Show diffs side-by-side

added added

removed removed

Lines of Context:
69
69
    <label id="console_prompt">&gt;&gt;&gt;&nbsp;</label>
70
70
    <input id="console_inputText"
71
71
      type="text" size="80" onkeypress="return catch_input(event.keyCode)" />
 
72
    <input type='button' value='Interrupt' onclick='set_interrupt();'/>
 
73
    <input type='button' value='Clear Output' onclick='return clear_output();'/>
72
74
""")
73
75
    if windowpane:
74
76
        req.write("""<span class="console_button maximize">