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

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: activity-log.xml   Sprache: XML

Original von: Isabelle©

<?xml version="1.0" encoding="UTF-8"?>

<appendix id="activity-log">
    <!-- jEdit buffer-local properties: -->
    <!-- :indentSize=2:noTabs=true: -->
    <!-- :xml.root=users-guide.xml: -->
    <title>The Activity Log</title>

    <para>The <firstterm>activity log</firstterm> is very useful for
    troubleshooting problems, and helps when developing plugins.</para>

    <para><guimenu>Utilities</guimenu>><guisubmenu>Troubleshooting</guisubmenu>><guimenuitem>Activity
    Log</guimenuitem> displays the last 500 lines of the activity log. By
    default, the activity log is shown in a floating window. This window can be
    docked using the commands in its top-left corner popup menu; see <xref
    linkend="docking" />.</para>

    <para>The complete log can be found in the <filename>activity.log</filename>
    file inside the jEdit settings directory, the path of which is shown inside
    the activity log window.</para>

    <para>jEdit writes the following information to the activity log:</para>

    <itemizedlist>
        <listitem>
            <para>Information about your Java implementation (version, operating
            system, architecture, etc).</para>
        </listitem>

        <listitem>
            <para>All error messages and runtime exceptions (most errors are
            shown in dialog boxes as well, but the activity log usually contains
            more detailed and technical information).</para>
        </listitem>

        <listitem>
            <para>All sorts of debugging information that can be helpful when
            tracking down bugs.</para>
        </listitem>

        <listitem>
            <para>Information about loaded plugins.</para>
        </listitem>

    </itemizedlist>

    <para>While jEdit is running, the log file on disk may not always accurately
    reflect what has been logged, due to buffering being done for performance
    reasons. To ensure the file on disk is up to date, invoke the
    <guimenu>Utilities</guimenu>><guisubmenu>Troubleshooting</guisubmenu>><guimenuitem>Update
    Activity Log on Disk</guimenuitem> command. The log file is also
    automatically updated on disk when jEdit exits.</para>

    <para>
    The <guibutton>Settings</guibutton> button in the Activity Log window
    shows a dialog that lets
    you adjust the output colors, filter the messages by type, and lets you set
    the maximum number of lines to display.  Note that larger numbers will 
    decrease the overall performance of jEdit since these lines are kept in
    memory.
    </para>

    <para>In the <guibutton>Settings</guibutton> pane there is also
    a debugging option, <guibutton>Beep on output</guibutton>.
    It allows for catching problems right after they show up.
    Each error message entry is accompanied by a system beep.
    Lower priority entries may be alerted this way, if the
    <userinput>log</userinput> option is used, 
    see <xref linkend="cli-usage" />.
    </para>
</appendix>

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


Bot Zugriff