Help/GUI/HistoryGui.htm

   1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
   2 <html>
   3 <head>
   4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
   5 <meta http-equiv="Content-Style-Type" content="text/css">
   6 <title></title>
   7 <meta name="Generator" content="Cocoa HTML Writer">
   8 <meta name="CocoaVersion" content="1038.25">
   9 <style type="text/css">
  10 p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px Helvetica}
  11 p.p2 {margin: 0.0px 0.0px 0.0px 0.0px; font: 9.0px Monaco; min-height: 12.0px}
  12 p.p3 {margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px Helvetica; min-height: 14.0px}
  13 p.p4 {margin: 0.0px 0.0px 0.0px 0.0px; font: 9.0px Monaco}
  14 p.p5 {margin: 0.0px 0.0px 0.0px 0.0px; font: 9.0px Monaco; color: #606060}
  15 p.p6 {margin: 0.0px 0.0px 0.0px 0.0px; font: 9.0px Monaco; color: #9c251f}
  16 span.s1 {font: 18.0px Helvetica}
  17 span.s2 {font: 9.0px Monaco}
  18 span.s3 {color: #0027a6}
  19 span.s4 {color: #406c2c}
  20 span.s5 {color: #606060}
  21 span.s6 {color: #000000}
  22 span.Apple-tab-span {white-space:pre}
  23 </style>
  24 </head>
  25 <body>
  26 <p class="p1"><span class="s1"><b>HistoryGui</b></span><span class="s2"> <span class="Apple-tab-span">  </span><span class="Apple-tab-span">    </span><span class="Apple-tab-span">    </span></span><b>a gui for History objects</b></p>
  27 <p class="p2"><br></p>
  28 <p class="p2"><br></p>
  29 <p class="p1">The gui elements in detail:</p>
  30 <p class="p3"><br></p>
  31 <p class="p1"><span class="Apple-tab-span">     </span><b>button start</b> stops and starts History _if_ gui.history is current.<span class="Apple-converted-space"> </span></p>
  32 <p class="p1"><span class="Apple-converted-space"> <span class="Apple-tab-span">       </span></span><b>popUp sameDoc/newDoc</b> switches whether the postDoc method posts to old post-doc window or new.<span class="Apple-converted-space"> </span></p>
  33 <p class="p1"><span class="Apple-converted-space"> <span class="Apple-tab-span">       </span></span><b>button closeAll</b> closes all documents called "History repeats",<span class="Apple-converted-space"> </span></p>
  34 <p class="p1"><span class="Apple-converted-space"> <span class="Apple-tab-span">       </span></span><b>button closeOld</b> closes only those created from this gui, except the latest.</p>
  35 <p class="p3"><br></p>
  36 <p class="p1"><span class="Apple-converted-space"> <span class="Apple-tab-span">       </span></span><b>button X/- </b>turns filtering on/off</p>
  37 <p class="p1"><span class="Apple-converted-space"> <span class="Apple-tab-span">       </span></span><b>popup \all </b>selects which key to search for (only useful if networked)</p>
  38 <p class="p1"><span class="Apple-converted-space"> <span class="Apple-tab-span">       </span></span><b>textview</b> allows for typing in search string.</p>
  39 <p class="p3"><span class="Apple-converted-space"> <span class="Apple-tab-span">       </span></span></p>
  40 <p class="p1"><span class="Apple-converted-space"> <span class="Apple-tab-span">       </span></span><b>listview</b> shows either all lineShorts, or the filtered lineShorts;<span class="Apple-converted-space"> </span></p>
  41 <p class="p1"><span class="Apple-converted-space"> <span class="Apple-tab-span">       </span></span>selecting them in listview makes them come appear in post-doc window.<span class="Apple-converted-space"> </span></p>
  42 <p class="p3"><span class="Apple-converted-space"> <span class="Apple-tab-span">       </span></span></p>
  43 <p class="p4">(</p>
  44 <p class="p4">h = <span class="s3">History</span>.new.lines_([</p>
  45 <p class="p4"><span class="Apple-tab-span">     </span>[0, <span class="s4">\me</span>, <span class="s5">"1+2"</span>],<span class="Apple-converted-space"> </span></p>
  46 <p class="p4"><span class="Apple-tab-span">     </span>[1, <span class="s4">\me</span>, <span class="s5">"3+5"</span>], [1.234, <span class="s4">\you</span>, <span class="s5">"q = q ? ();"</span>],<span class="Apple-converted-space"> </span></p>
  47 <p class="p5"><span class="s6"><span class="Apple-tab-span">    </span>[3, </span><span class="s4">\her</span><span class="s6">, </span>"\"<span class="s3">Herstory</span><span class="s6">\</span>".speak"<span class="s6">]</span></p>
  48 <p class="p4">]);</p>
  49 <p class="p4">g = h.makeWin;</p>
  50 <p class="p4">g.findDoc;</p>
  51 <p class="p4">g.postDoc(2);</p>
  52 <p class="p4">)</p>
  53 <p class="p2"><br></p>
  54 <p class="p2"><br></p>
  55 <p class="p4">h.document;</p>
  56 <p class="p6"><span class="s6"><span class="Apple-tab-span">    </span></span>// how filtering works:</p>
  57 <p class="p4">g.filters.postcs;</p>
  58 <p class="p4">g.filterOff;<span class="Apple-converted-space"> </span></p>
  59 <p class="p4">g.filterOn;<span class="Apple-converted-space"> </span></p>
  60 <p class="p4">g.filtering;<span class="Apple-converted-space"> </span></p>
  61 <p class="p4">g.setKeyFilter(<span class="s4">\all</span>);</p>
  62 <p class="p4">g.setKeyFilter(<span class="s4">\me</span>);</p>
  63 <p class="p4">g.setStrFilter(<span class="s5">""</span>);</p>
  64 <p class="p4">g.setStrFilter(<span class="s5">"3"</span>);</p>
  65 <p class="p2"><br></p>
  66 <p class="p6"><span class="s6"><span class="Apple-tab-span">    </span></span>// internal state cached in gui:</p>
  67 <p class="p4">g.filteredIndices;</p>
  68 <p class="p4">g.filteredShorts;<span class="Apple-converted-space"> </span></p>
  69 <p class="p2"><br></p>
  70 <p class="p4">// to do: execute line on special key in listview;<span class="Apple-converted-space"> </span></p>
  71 <p class="p4">// window following?<span class="Apple-converted-space"> </span></p>
  72 <p class="p2"><br></p>
  73 </body>
  74 </html>