Bug 208443

Summary:	[preferences][rulers] Allow to set width of overview bar
Product:	[Eclipse Project] JDT	Reporter:	Christopher Collins <christopher.m.collins>
Component:	Text	Assignee:	JDT-Text-Inbox <jdt-text-inbox>
Status:	ASSIGNED ---	QA Contact:
Severity:	enhancement
Priority:	P3
Version:	3.4
Target Milestone:	---
Hardware:	PC
OS:	Windows Vista
Whiteboard:

Description Christopher Collins

2007-11-01 11:31:28 EDT

The width of the overview ruler bar is too small on a large, high-res screen.

The width of this bar should be customizable or at least made about 5 pixels wider. This would help in terms of accessibility (visually and for people with lower motor skills as the targets would be easier to click).  It would also reduce eye strain on larger monitors as the marks would be more visible.