| products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: vfs-browser.html Sprache: HTMLOriginal von: Isabelle© |
|
|
<html><head> <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"> <title>The File System Browser (FSB)</title><meta name="generator" content="DocBook XSL Sty Browser</strong></span> displays the file system browser. By default, the file system browser is shown in a floating window. This window can be docked using the commands in its top-left corner popup menu; see <a class="xref" href="docking <span class="guimenu"><strong>Utilities</strong></span>><span class="guimenuitem"><strong>Optio dialog box; see <a class="xref" href="global-opts.html#vfs-browser-pane" title="The Fil <span class="guibutton"><strong>Path</strong></span> text field. Clicking the mouse in the text field automatically selects its contents allowing a new path to be quickly typed in. If a relative path is entered, it will be resolved relative to the current path. This text field remembers previously entered strings; see <a class="xref" href="history.html" title="Appendix C. His list of previously browsed directories is also listed in the <span class="guimenu"><strong>Utilities</strong></span>><span class="guisubmenu"><strong>Recent Directories</strong></span> menu; selecting one opens it in the file system browser.</p><p>To browse a listed directory, double-click it (or if you have a three-button mouse, you can click the middle mouse button as well). Alternatively, click the disclosure widget next to a directory to list its contents in place. To browse higher up in the directory hierarchy, double-click one of the parent directories in the parent directory list.</p><p>Files and directories in the file list are shown in different colors depending on what glob patterns their names match. The patterns and colors can be customized in the <span class="guibutton"><strong>File System Browser</strong></span>><span class="guibutton"><strong>Colors</strong></span> pane of the <span class="guimenu"><strong>Utilities</strong></span>><span class="guimenuitem"><strong>Optio dialog box.</p><p>The <span class="guibutton"><strong>Path:</strong></span> Text Box can be used to navigate to a specific directory. Environment variables are expanded here, allowing for both <code class="literal">$VARNAME</code> or <code class="literal">%VARNAME%</code> syntax. </p><p> <code class="literal">A+Up</code> is a keyboa you to the parent directory. </p><p> <code class="literal">A+Left</code> and <code class="literal">A Netscape/Konqueror/IE like fashion. </p><p>To see a specific set of files only (for example, thos names end with <code class="filename">.java</code>), enter a glob pattern in the <span class="guibutton"><strong>Filter</strong></span> text field. This text fields remembers previously entered strings. See <a class="xref" href="globs.html" title="Append for information about glob patterns.</p><p>Unopened files can be opened by double-clicking (or b clicking the middle mouse button). Open files have their names underlined, and can be selected by single-clicking. Holding down <code class="keycap">Shift</code> while opening a file will open it in a new view.</p><p>Clicking a file or directory with the right mouse button displays a popup menu containing various commands. </p><div class="tip" style="margin-left: 0.5in; margin-right: 0.5in;"><h3 class="title">T numbers in file names in an intelligent manner. For example, a file named <code class="filename">section10.xml</code> will be placed after a file named <code class="filename">section5.xml</code>. A conventional letter-by-letter sort would have placed these two files in the wrong order.</p></div></div><div class="section"><div class="titlepage"><div><div><h3 cla buttons. Each item in the <span class="guibutton"><strong>Commands</strong></span> menu (described below) except <span class="guimenuitem"><strong>Show Hidden Files</strong></span> and <span class="guisubmenu"><strong>Encoding</strong></span> has a corresponding tool bar button.</p></div><div class="section"><div class="titlepage"><div><div><h3 c menu containing the following items:</p><div class="itemizedlist"><ul class="itemizedlist" s in the directory hierarchy. The Alt+Left arrow keyboard shortcut achieves the same thing. </p></ the file list from disk. F5 does this also. </p></li><li class="listitem"><p><span class="guimenuite goes to the root directory (<code class="filename">/</code>). On Windows and MacOS X, lists all mounted drives and network shares. The forward slash (/) achieves this too. </p></li><li class="listitem"><p><span class="guim your home directory. Keyboard shortcut: ~ </p></li><li class="listitem"><p><span class="guimenuit - displays the directory containing the currently active buffer. Shortcut: - </p></li><li class="listitem"><p><span class="guimenuitem"><strong>New File</st saved.</p></li><li class="listitem"><p><span class="guimenuitem"><strong>New Directory</strong></s new directory after prompting for the desired name.</p></li><li class="listitem"><p><span class="g displays the search and replace dialog box set to search all files in the current directory. If a file is selected when this command is invoked, its extension becomes the file name filter for the search; otherwise, the file name filter entered in the browser is used. See <a class="xref" href="search-replace.html" title="Searc if hidden files are to be shown in the file list.</p></li><li class="listitem"><p><span class="guisub selecting the character encoding to use when opening files. See <a class="xref" href="encodings.html" title="Character Encodings">the section called “ menu containing plugin commands. For information about plugins, see <a class="xref" href="using-plugins.html" title="Chapter 9. Installing and Using Plugi a menu showing all files and directories in the favorites list. The <span class="guimenuitem"><strong>Add to Favorites</strong></span> item adds the currently selected file to the favorites list. If nothing is selected, the current directory is added. To remove a file from the favorites, invoke <span class="guimenuitem"><strong>Edit Favorites</strong></span>, which will show the favorites list in the file system view, then select <span class="guimenuitem"><strong>Delete</strong></span> from the right-click menu of the entry you want to remove.</p></div><div class="section"><div class="titlepage"><div><div><h3 class=" stand-alone file system browser window.</p><p>In the file dialog, keyboard input goes in the file by default. Pressing <code class="keycap">Enter</code> opens the file or directory path that is either fully or partially entered in the file name field. Typing the first few characters of a file's name selects that file. If the file name field is empty and nothing is selected, <code class="keycap">/</code> lists the root directory on Unix and the list of drives on Windows. There are two handy abbreviations that may be used in file paths: <code class="keycap">~</code> expands to the home directory, and <code class="keycap">-</code> expands to the current buffer's directory.</p><p>For example, to open a file <code class="filename">/home/slava/jEdit/doc/TODO.txt</code>, you might enter <code class="filename">~/j/d/to</code>.</p><p>In the stand-alone file system browser, keyboard i handled slightly differently. There is no file name field, instead shortcuts are active when the file tree has keyboard focus. Additionally, pressing <code class="keycap">/</code>, <code class="keycap">~</code> or <code class="keycap">-</code> always immediately goes to the root, home and current buffer's directory, respectively. |
