Re: octave-dock-widget.cc: new file missing

[Daniel J Sebald]

On 06/21/2013 09:45 PM, Ben Abbott wrote:
> Torsten,
>
> You forgot to add the new file octave-dock-widget.cc when you pushed the 
> changeset below.
>
>         http://hg.savannah.gnu.org/hgweb/octave/rev/d749c9b588e5
>
> Ben

Seems to work here.

The modification takes a bit of getting used to.  Undocking then 
redocking via the button results in the widget in a different location 
from when it was undocked.  Once it is docked, then it can be moved 
around to get it back to the original spot.  The new buttons are someone 
big too, using valuable space (at least in my case since I don't have a 
real big screen).

Dan