ndler);</div>
<div class="line"> </div>
<div class="line">  updateDateTime();</div>
<div class="line"> </div>
<div class="line">  <span class="comment">// machine configurations</span></div>
<div class="line">  MachineConf mconf;</div>
<div class="line"> </div>
<div class="line">  <span class="comment">// show a list of machine configurations</span></div>
<div class="line"> </div>
<div class="line">  ibox.setAutoOK(6);</div>
<div class="line">  <span class="keywordtype">int</span> idx = preferences.getInt(<