https://bugs.wireshark.org/bugzilla/show_bug.cgi?id=4388
--- Comment #4 from Toralf Förster <toralf.foerster@xxxxxx> 2010-03-25 11:36:01 PDT ---
(In reply to comment #3)
> Does it make more sense for this to match the other tabs or to match the main window?
IMHO I'd expect the first : have the same font for all tabs of a given window.
--
Configure bugmail: https://bugs.wireshark.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.