products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: web.xml.txt   Sprache: HTML

Original von: Isabelle©
 products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/opening.html


<html><head>
      <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
   <title>Opening Files</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="creating.html" title="Creating New Files"><link rel="next" href="saving.html" title="Saving Files"></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">Opening Files</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="creating.html">Prev</a> </td><th width="60%" align="center">Chapter 4. Working With Files</th><td width="20%" align="right"> <a accesskey="n" href="saving.html">Next</a></td></tr></table><hr></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="opening"></a>Opening Files</h2></div></div></div><p><span class="guimenu"><strong>File</strong></span>><span class="guimenuitem"><strong>Open</strong></span>
        (shortcut: <code class="keycap">C+o</code>) displays a file system browser dialog
        box and loads the specified file into a new buffer.</p><p>Multiple files can be opened at once by holding down
        <code class="keycap">Control</code> while clicking on them in the file system
        browser. The file system browser supports auto-completion; typing the
        first few characters of a listed file name will select the file.</p><p>More advanced features of the file system browser are described in
        <a class="xref" href="vfs-browser.html" title="The File System Browser (FSB)">the section called “The File System Browser (FSB)”</a>.</p><p>The <span class="guimenu"><strong>File</strong></span>><span class="guimenuitem"><strong>Recent
        Files</strong></span> menu lists recently viewed files. When a recent file
        is opened, the caret is automatically moved to its previous location in
        that file. The number of recent files to remember can be changed and
        caret position saving can be disabled in the
        <span class="guibutton"><strong>General</strong></span> pane of the
        <span class="guimenu"><strong>Utilities</strong></span>><span class="guimenuitem"><strong>Options</strong></span>
        dialog box; see <a class="xref" href="global-opts.html#general-pane" title="The General Pane">the section called “The General Pane”</a>.</p><p>The <span class="guimenu"><strong>Utilities</strong></span>><span class="guimenuitem"><strong>Current
        Directory</strong></span> menu lists all files and directories in the
        current buffer's directory. Selecting a file opens it in a buffer for
        editing; selecting a directory opens it in the file system browser (see
        <a class="xref" href="vfs-browser.html" title="The File System Browser (FSB)">the section called “The File System Browser (FSB)”</a>).</p><div class="note" style="margin-left: 0.5in; margin-right: 0.5in;"><h3 class="title">Note</h3><p>Files that you do not have write access to are opened in
            read-only mode, where editing is not permitted.</p></div><div class="tip" style="margin-left: 0.5in; margin-right: 0.5in;"><h3 class="title">Tip</h3><p>jEdit supports transparent editing of GZipped files; if a file
            begins with the GZip <span class="quote">“<span class="quote">magic number</span>”</span>, it is
            automatically decompressed before loading and compressed when
            saving. To compress an existing file, you need to change a setting
            in the <span class="guimenu"><strong>Utilities</strong></span>><span class="guimenuitem"><strong>Buffer
            Options</strong></span> dialog box; see <a class="xref" href="buffer-opts.html" title="The Buffer Options Dialog Box">the section called “The Buffer Options Dialog Box”</a>
            for details.</p></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="creating.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="saving.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Creating New Files </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Saving Files</td></tr></table></div></body></html>

¤ Dauer der Verarbeitung: 0.4 Sekunden  (vorverarbeitet)  ¤



zum Wurzelverzeichnis wechseln
Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.
zum Wurzelverzeichnis wechseln
sprechenden Kalenders

in der Quellcodebibliothek suchen




Laden

Fehler beim Verzeichnis:


in der Quellcodebibliothek suchen

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff