[Dr. Geo] [Bug 1698587] Re: Wheels can't get raised border working

[hilaire]

The border needs to be set *after* the wheel is added to the window
morph, otherwise it is flatten.

** Changed in: drgeo
       Status: New => Fix Committed

-- 
You received this bug notification because you are a member of DrGeo
developers, which is subscribed to Dr. Geo II.
Matching subscriptions: Dr. Geo bug report
https://bugs.launchpad.net/bugs/1698587

Title:
  Wheels can't get raised border working

Status in Dr. Geo II:
  Fix Committed

Bug description:
  The wheels style display no border style.

  This code has no effect when added in the method
  DrGUIControlsManager>>zoomWheek:

   borderStyle: BorderStyle complexRaised

To manage notifications about this bug go to:
https://bugs.launchpad.net/drgeo/+bug/1698587/+subscriptions