diff help/help_mp-pl.h @ 36007:90ff4280cc80

There is no need to hide the widget prior to destruction.
author ib
date Sat, 30 Mar 2013 14:13:23 +0000
parents fc4d3215bdf7
children cd83754e4f3a
line wrap: on
line diff