Home | Contact Us | FAQ | Search & Site Map | Link to Us
Sign In | Join | Other 45 Sites in Network
HomeAnnouncementsWhite Papers
Discussion GroupsFirst AidDatabasesJavaBeansGUIJava 3DVirtual MachineCORBASecurityToolsGeneral
Java DirectoryOpen Source ProjectsSample Book ChaptersUser GroupsWeb Resources
Related Topics
Databases.NETMore Topics ...

Java Forum / Tools / December 2004

Tip: Looking for answers? Try searching our database.

Eclipse editor double spaces source

Thread view: 
Christopher Nelson - 22 Dec 2004 16:03 GMT
I'm running Eclipse 3.0.1 on RedHat Linux 7-something (uname says
2.4.18-3smp; yeah, I know it's old) and the Java source editor displays
text that appears double-spaced.  I'm seeing the same problem with the
CDT C/C++ plug-in.  I can't find any setting for either editor that
controls the font size or line spacing.  Is something wrong?  Am I
missing something?  Is there some way to control this? TIA.
Chris
Thomas Bielagk - 28 Dec 2004 10:44 GMT
> I'm running Eclipse 3.0.1 on RedHat Linux 7-something (uname says
> 2.4.18-3smp; yeah, I know it's old) and the Java source editor displays
[quoted text clipped - 3 lines]
> missing something?  Is there some way to control this? TIA.
> Chris

Hmmm.. Linux sometimes uses quite strange standard fonts. Anyway, there
is a way to change fonts in Eclipse:
Preferences -> Workbench -> 'Colors and Fonts'

There you can edit fonts for all perspectives available in your Eclipse
installation (Java as well as CDT).

--Thomas


Free Magazines

Get these publications absolutely FREE for up to 12 months. There are no hidden fees and no obligation. Simply choose a title, complete the application form and submit it. Read more ...

Oracle MagazineNetwork ComputingComputer WorldBio-IT WorldeWeekInformation WeekInfosecurity
 
Sign In
Join
My Latest Posts
My Monitored Threads
My Blog
My Photo Gallery
My Profile
My Homepage

Start New Thread
Enable EMail Alerts
Rate this Thread



©2008 Advenet LLC   Privacy Policy - Terms of Use
This website includes both content owned or controlled by Advenet as well as content owned or controlled by third parties.