Klaus Leithoff c8a37e3c56 attempt to harden splitter dock/undock against breaking, as there are other methods to dock the split bar (e.g.:doubleclick)

2013-05-29 12:34:33 +00:00

..

app.js

attempt to harden splitter dock/undock against breaking, as there are other methods to dock the split bar (e.g.:doubleclick)

2013-05-29 12:34:33 +00:00