'cmd_patron_toggle_summary' : [
['command'],
function(ev) {
- var x = document.getElementById('left_deck_vbox');
- if (x) {
- x.hidden = ! x.hidden;
- }
+ document.getElementById('splitter_grippy').doCommand();
}
],
'cmd_search_form' : [
<hbox id="left_deck_vbox" flex="1" persist="height">
<deck id="patron_left_deck" persist="height"/>
</hbox>
- <splitter id="pdms1y" collapse="before" persist="state hidden"><grippy id="pdmsg1"/></splitter>
+ <splitter id="deck_splitter" collapse="before" persist="state hidden"><grippy id="splitter_grippy"/></splitter>
<hbox id="right_deck_vbox" flex="8" persist="height">
<deck id="patron_right_deck" persist="height"/>
</hbox>
<vbox id="left_deck_vbox" flex="1" persist="width">
<deck id="patron_left_deck" persist="width"/>
</vbox>
- <splitter id="pdms1z" collapse="before" persist="state hidden"><grippy id="pdmsg1"/></splitter>
+ <splitter id="deck_splitter" collapse="before" persist="state hidden"><grippy id="splitter_grippy"/></splitter>
<vbox id="right_deck_vbox" flex="3" persist="width">
<deck id="patron_right_deck" persist="width"/>
</vbox>