Bug 829 - request: adjustable font size (1GIF0WN)
Summary: request: adjustable font size (1GIF0WN)
Status: RESOLVED FIXED
Alias: None
Product: Platform
Classification: Eclipse Project
Component: User Assistance (show other bugs)
Version: 2.0   Edit
Hardware: All Windows 2000
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: Dorian Birsan CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2001-10-10 21:48 EDT by Dorian Birsan CLA
Modified: 2002-04-16 10:04 EDT (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Dorian Birsan CLA 2001-10-10 21:48:35 EDT 
Adjustable font size for the help page will be a good feature, making Eclipse more accesible.

Honestly, I have a hard time reading the current font size...



NOTES:

DB: (8/17/2001 1:17:40 PM)
   Unfortunately (fortnunately, for other cases:-) we have a dependency on display content using IE5.
   The help system uses a CSS file to control the size of the fonts and other presention.
   The current workaround is to change the properties in your Internet Explorer to ignore style sheets and
   to use your desired fonts.
   In the future, we will likely provide a couple of style sheets, with different font sizes.
Comment 1 DJ Houghton CLA 2001-10-24 06:26:21 EDT 
PRODUCT VERSION:
0.9
Comment 2 Dorian Birsan CLA 2002-04-16 10:04:31 EDT 
In eclipse 2.0 (latest builds) fonts are automatically picked up from the 
system settings. However, this  statement is only true for the help 
infrastructure. Documentation providers must ensure their docs do not hard code 
fonts.