[Dr. Geo] [Bug 1515189] Re: Font size for numeric object

[hilaire]

** Changed in: drgeo
       Status: Won't Fix => Fix Committed

** Changed in: drgeo
    Milestone: None => 23.06

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

Title:
  Font size for numeric object

Status in Dr. Geo:
  Fix Committed

Bug description:
  Difficulty: 2/3
  We should be able to adjust the font size of the numeric object as we can do 
it from Text and Script objects output.

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