Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Language IDEs » Java Development Tools (JDT) » How to define print page layout (margins font,...) ?
How to define print page layout (margins font,...) ? [message #648301] Wed, 12 January 2011 05:24 Go to next message
Ben Stover
Messages: 104
Registered: January 2010
Senior Member
If I want to print a certain java source code file I would like to define a (default) page layout:

E.g. the top and bottom margins and the used print font.

I found no preferences page for that.

Where exactly can I specify these parameters?

Ben
Re: How to define print page layout (margins font,...) ? [message #648474 is a reply to message #648301] Wed, 12 January 2011 23:31 Go to previous messageGo to next message
Deepak Azad is currently offline Deepak Azad
Messages: 545
Registered: July 2009
Senior Member
On 1/12/2011 3:54 PM, Ben wrote:
> If I want to print a certain java source code file I would like to
> define a (default) page layout:
>
> E.g. the top and bottom margins and the used print font.
>
> I found no preferences page for that.
>
> Where exactly can I specify these parameters?
>
> Ben
I dont think you can do this. You can only specify a 'Print Margin' (see
Preferences > General > Editors > Text Editors).
Re: How to define print page layout (margins font,...) ? [message #652000 is a reply to message #648474] Wed, 02 February 2011 06:59 Go to previous message
Ben Stover
Messages: 104
Registered: January 2010
Senior Member
Deepak Azad wrote on Wed, 12 January 2011 23:31
I dont think you can do this. .


Thank you for the answer.
This is very sad and disappointing.
Every tiny little notepad-like editor is able to let the user setup margins, header and font.

But an advanced development tool like Eclipse cannot Sad

Maybe there is a replacement/add.on print-plugin which let me do this?

Does anyone know such a real print plugin?

Ben
Previous Topic:Request for "more open code completion"?
Next Topic:ubuntu +eclipse + tomcat can not launch server
Goto Forum:
  


Current Time: Sat Aug 30 16:44:19 EDT 2014

Powered by FUDForum. Page generated in 0.09569 seconds