⚠

NOTICE! This is a static HTML version of a legacy Fiji BugZilla bug.

The Fiji project now uses GitHub Issues for issue tracking.

Please file all new issues there.

Bug 43 - Edit > Options > Appearance has a Font size of zero by default
Edit > Options > Appearance has a Font size of zero by default
Status: RESOLVED FIXED
Product: Fiji
Classification: Unclassified
Component: Plugins
unspecified
PC Linux
: P4 normal
Assigned To: ImageJ Bugs Mailing List
Depends on:
Blocks:
 
Reported: 2009-04-10 10:56 CDT by Albert Cardona
Modified: 2009-04-19 19:44 CDT
1 user (show)

See Also:
Description Albert Cardona 2009-04-10 10:56:05 CDT 
Useful Java System Properties:
  os.arch => i386
  os.name => Linux
  os.version => 2.6.24-21-eeepc
  java.version => 1.6.0_06
  java.vendor => Sun Microsystems Inc.
  java.runtime.name => Java(TM) SE Runtime Environment
  java.runtime.version => 1.6.0_06-b02
  java.vm.name => Java HotSpot(TM) Client VM
  java.vm.version => 10.0-b22
  java.vm.vendor => Sun Microsystems Inc.
  java.vm.info => mixed mode
  java.awt.graphicsenv => sun.awt.X11GraphicsEnvironment
  java.specification.name => Java Platform API Specification
  java.specification.version => 1.6
  sun.cpu.endian => little
  sun.desktop => gnome
  file.separator => /

Bug Report Text:

There is no way to find out what is the default menu font size. The Edit > Options > Appearance has a font size of zero by default.
Instead, the current font size should be present there, to avoid having to guess when wanting to icrease or decrease the menu font size.
Comment 1 Mark Longair 2009-04-10 14:41:45 CDT 
Reassigning to fiji-devel
Comment 2 Johannes Schindelin 2009-04-19 19:44:56 CDT 
The "0" means "default", but I agree that it is confusing.  So I fixed it on the 'fiji' branch of ImageJA, in commit 2956f02.