samaaron/sonic-pi — pull request #264 by jweather (2014-12-16 01:55:00+00:00)
Title: redock floating help window when it is closed

Closes #236 -- I'll leave it up to Sam to decide if this is desired behavior. Close button on the floating help pane now also re-docks the window. May be helpful for confused users who can't figure out how to re-dock it. Advanced users can still use the Help toolbar button to hide/show a floating help window if they wish.