jp9000 354614a7e8 Basic UI: Signal resize of properties view
If the properties view changed in the properties window, the viewport of
the properties would not trigger a resize because the size of the window
itself does not change.  This creates a signal that allows the parent to
know whether or not to update a viewport, if any.
2014-08-27 18:18:26 -07:00
..
2014-08-25 14:55:06 -07:00
2014-08-05 21:15:31 +02:00
2014-01-25 07:23:57 +01:00
2014-07-13 15:23:26 +02:00
2014-06-15 20:33:13 -07:00