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

2013-05-29 14:19:49 +00:00

..

app.js

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

2013-05-29 14:19:49 +00:00