Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: reloading.html Sprache: HTML

Original von: Isabelle^©

products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/reloading.html

<html><head>
      <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
   <title>Reloading From Disk</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="vfs-browser.html" title="The File System Browser (FSB)"><link rel="next" href="task-monitor.html" title="Task Monitor, and background I/O tasks"></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">Reloading From Disk</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="vfs-browser.html">Prev</a> </td><th width="60%" align="center">Chapter 4. Working With Files</th><td width="20%" align="right"> <a accesskey="n" href="task-monitor.html">Next</a></td></tr></table><hr></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="reloading"></a>Reloading From Disk</h2></div></div></div><p>When a view is brought to the foreground, jEdit checks if any open
        buffers were modified on disk by another application. All affected
        buffers are listed in a dialog box. By default, buffers without unsaved
        changes are automatically reloaded. This feature can be disabled, or
        changed to prompt if files should be reloaded first, 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" title="The Global Options Dialog Box">the section called “The Global Options Dialog Box”</a>.</p><p><span class="guimenu"><strong>File</strong></span>><span class="guimenuitem"><strong>Reload</strong></span> can
        be used to reload the current buffer from disk at any other time; a
        confirmation dialog box will be displayed first if the buffer has
        unsaved changes.</p><p><span class="guimenu"><strong>File</strong></span>><span class="guimenuitem"><strong>Reload All</strong></span>
        discards unsaved changes in all open buffers and reload them from disk,
        asking for confirmation first.</p></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="vfs-browser.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="task-monitor.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">The File System Browser (FSB) </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Task Monitor, and background I/O tasks</td></tr></table></div></body></html>

¤ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

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.