"12" is not font, it is a font *size*. The unit is missing, too. Actual UI: "Variable width font <an int widget>" Expected UI: "Variable width font size <an int widget> pixels" (or whatever the unit is)
Hi, Ben. The font prefs look quite a bit better now. It currently says "Size" near the size menus, so that part of this bug is fine. What about the units? Shall we add something about the units in the UI? They are pixels (not points). In CSS, they are called "px", but we may want to spell out "pixels" in the UI.
Assignee: erik → ben
Status: ASSIGNED → NEW
Status: NEW → RESOLVED
Last Resolved: 19 years ago
Resolution: --- → FIXED
much bettah. :-) verif using 2000.05.18.08 [opt comm] on linux, mac and winnt.
Status: RESOLVED → VERIFIED
Yup. Fixed in M16, adjusting Milestone (hope you agree).
Target Milestone: M17 → M16
> adjusting Milestone hm. no, the developer shoudl do that. resetting to m17.
Target Milestone: M16 → M17
You need to log in before you can comment on or make changes to this bug.