[Bug 1698587] [NEW] Wheels can get raised border working

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

[Bug 1698587] [NEW] Wheels can get raised border working

Hliaire Fernandes
Administrator
Public bug reported:

The wheels style display no border style.

This code has no effect:
        borderStyle: BorderStyle complexRaised

** Affects: drgeo
     Importance: Undecided
         Status: New

--
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 get raised border working

Status in Dr. Geo II:
  New

Bug description:
  The wheels style display no border style.

  This code has no effect:
  borderStyle: BorderStyle complexRaised

To manage notifications about this bug go to:
https://bugs.launchpad.net/drgeo/+bug/1698587/+subscriptions
Reply | Threaded
Open this post in threaded view
|

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

Hliaire Fernandes
Administrator
** Changed in: drgeo
       Status: Fix Committed => Fix Released

--
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 Released

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