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:   Sprache: HTML

Original von: Isabelle©

 products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/task-monitor.html


<html><head>
      <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
   <title>Task Monitor, and background I/O tasks</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="reloading.html" title="Reloading From Disk"><link rel="next" href="printing.html" title="Printing"></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">Task Monitor, and background I/O tasks</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="reloading.html">Prev</a> </td><th width="60%" align="center">Chapter 4. Working With Files</th><td width="20%" align="right"> <a accesskey="n" href="printing.html">Next</a></td></tr></table><hr></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="task-monitor"></a>Task Monitor, and background I/O tasks</h2></div></div></div><p>To improve responsiveness and perceived performance, jEdit
        executes all buffer input/output tasks asynchronously. Plugins should
        do the same.
        When a task such as this is in progress, the status bar should display the number of running tasks and an icon that spins. If you do not see this, you can add the widget from the <a class="xref" href="global-opts.html#status-bar-pane" title="The Status Bar Pane">the section called “The Status Bar Pane”</a>.  </p><p>The
        <span class="guimenu"><strong>Utilities</strong></span>><span class="guisubmenu"><strong>Troubleshooting</strong></span>>
        <span class="guimenuitem"><strong>Task Monitor</strong></spancommand displays a window with more
        detailed status information and progress meters for each task. By default, the
        <span class="guimenuitem"><strong>Task Monitor</strong></span> 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.html" title="Window Docking Layouts">the section called “Window Docking Layouts”</a>. Tasks can be aborted in this window, however note that aborting a buffer save can result in data loss.</p></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="reloading.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="printing.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Reloading From Disk </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Printing</td></tr></table></div></body></html>

¤ Dauer der Verarbeitung: 0.3 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