Changeset 17838 for misc/runpugs/data

Show
Ignore:
Timestamp:
09/14/07 15:28:27 (15 months ago)
Author:
azawawi
Message:

[runpugs]page load/unload/events is now handled by jquery
[runpugs]page unload sends a :q when page unload is called (browser dependent)
[runpugs]startup script uses port setting from .webtermrc

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • misc/runpugs/data/runpugs.html

    r15408 r17838  
    1212<input type="radio" id="rel" value="0" name="reldev" _REL_ > 
    1313<input type="radio" id="dev" value="1" name="reldev" _DEV_ > 
    14 <select name="history" id="hist" > 
    15 <option value="">--- Recent commands ---</option> 
    16 _HIST_ 
    17 </select> 
    1814<textarea id="cmd" name="cmd" rows="20" cols="80"> 
    1915_ALL_