diff widgets/NotifyingPushButton.cpp @ 190:53835534a9d3

* Allow user to activate a pane by clicking on the tab for its currently active
  layer.  Formerly nothing happened if you clicked on the tab that was already
  topmost in a given property stack, because the tab widget only emitted a signal
  if the current tab changed.  We want this to switch focus back to the pane if
  another one has been active in the mean time.
* Make the thumbwheels look a bit round.