From: che f. <mr....@gm...> - 2015-11-04 10:04:35
|
> It has been changed in order to allow to drag small dockwidgets with many > buttons. The docking process can be stopped by pressing ESC. Should I add > another option? ;-) > i found that when pressing left mouse button together with the right button and then releasing the right button do the trick , but its tricky . > This is impossible to achieve platform neutral, think of the myriad of > different window managers. > i don't know , but with some gui library like wxwidgets & Qt , i can dock from title bar ! btw , grip.options.go_maximizebutton is not working , can you check please ? |