products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/printing.html |
 |
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>Printing</title><meta name="generator" content="DocBook XSL Stylesheets V1.79.1"><link rel="home" href="index.html" title="jEdit 5.6 User's Guide"><link rel="up" href="files.html" title="Chapter 4. Working With Files"><link rel="prev" href="task-monitor.html" title="Task Monitor, and background I/O tasks"><link rel="next" href="closing-exiting.html" title="Closing Files and Exiting jEdit"></head><body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"><div class="navheader"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="center">Printing</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="task-monitor.html">Prev</a> </td><th width="60%" align="center">Chapter 4. Working With Files</th><td width="20%" align="right"> <a accesskey="n" href="closing-exiting.html">Next</a></td></tr></table><hr></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="printing"></a>Printing</h2></div></div></div><p>jEdit printing is much like you'd expect from any text editor application, you can select the printer, specify specific pages to print, the number of copies, and a number of printer and page options that are supported by the printer such as color printing, duplex printing, and so on. The specific options available are determined by the chosen printer. Print preview is also available, as are several jEdit specific settings such as printing a header and/or footer, line numbers, etc.
</p><p>The printer dialog is accessed by <span class="guimenu"><strong>File</strong></span>><span class="guimenuitem"><strong>Print</strong></span>
(shortcut: <code class="keycap">C+p</code>) which prints the current buffer. All printing options are set in this dialog. At this time, there is no option to print multiple buffers at once.</p><p>The print output can be customized in the printer dialog.
In addition to the standard printing options, the following jEdit-specific printing settings can be changed:</p><div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><p>The font to use when printing.</p></li><li class="listitem"><p>If a header with the file name should be printed on each
page.</p></li><li class="listitem"><p>If a footer with the page number and current date should
be printed on each page.</p></li><li class="listitem"><p>If line numbers should be printed.</p></li><li class="listitem"><p>The tab size to use when printing - this will usually be
less than the text area tab size, to conserve space in the
printed output.</p></li><li class="listitem"><p>If folded regions should be printed.</p></li></ul></div><p>
In the Utilities - Global Options - Text Area settings, there is an option to show page break markers. If selected, horizontal lines will be displayed in the text area to indicate where page breaks will be when printing.</p><p>
There is also an action available in the View menu, to toggle the the page break markers on and off. Page break markers are just what they sound like, they show where page breaks would be for printing. Note that jEdit is not a word processor, so the page breaks are calculated based on printer settings and print font size. It is not possible to set a page break at a specific point in a file.
</p></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="task-monitor.html">Prev</a> </td><td width="20%" align="center"><a accesskey="u" href="files.html">Up</a></td><td width="40%" align="right"> <a accesskey="n" href="closing-exiting.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Task Monitor, and background I/O tasks </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Closing Files and Exiting jEdit</td></tr></table></div></body></html>
¤ Dauer der Verarbeitung: 0.26 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|