Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: organizing-macros.html Sprache: HTML

Original von: Isabelle^©

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

<html><head>
      <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
   <title>How jEdit Organizes Macros</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="using-macros.html" title="Chapter 8. Using Macros"><link rel="prev" href="running-macros.html" title="Running Macros"><link rel="next" href="using-plugins.html" title="Chapter 9. Installing and Using Plugins"></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">How jEdit Organizes Macros</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="running-macros.html">Prev</a> </td><th width="60%" align="center">Chapter 8. Using Macros</th><td width="20%" align="right"> <a accesskey="n" href="using-plugins.html">Next</a></td></tr></table><hr></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="organizing-macros"></a>How jEdit Organizes Macros</h2></div></div></div><p>Every macro, whether or not you originally recorded it, is stored
        on disk and can be edited as a text file. The file name of a macro must
        have a <code class="filename">.bsh</code> extension in order for jEdit to be
        aware of it. By default, jEdit associates a <code class="filename">.bsh</code>
        file with the BeanShell edit mode for purposes of syntax highlighting,
        indentation and other formatting. However, BeanShell syntax does not
        impose any indentation or line break requirements.</p><p>The <span class="guimenu"><strong>Macros</strong></span> menu lists all macros stored in two
        places: the <code class="filename">macros</code> subdirectory of the jEdit home
        directory, and the <code class="filename">macros</code> subdirectory of the
        user-specific settings directory (see <a class="xref" href="settings-directory.html" title="The jEdit Settings Directory">the section called “The jEdit Settings Directory”</a> for information about the settings
        directory). Any macros you record will be stored in the user-specific
        directory.</p><p>Macros stored elsewhere can be run using the
        <span class="guimenu"><strong>Macros</strong></span>><span class="guimenuitem"><strong>Run Other Macro</strong></span>
        command, which displays a file chooser dialog box, and runs the
        specified file.</p><p>The listing of individual macros in the <span class="guimenu"><strong>Macros</strong></span>
        menu can be organized in a hierarchy using subdirectories in the general
        or user-specific macro directories; each subdirectory appears as a
        submenu. You will find such a hierarchy in the default macro set
        included with jEdit.</p><p>When jEdit first loads, it scans the designated macro directories
        and assembles a listing of individual macros in the
        <span class="guimenu"><strong>Macros</strong></span> menu. When scanning the names, jEdit will
        delete underscore characters and the <code class="filename">.bsh</code> extension
        for menu labels, so that
        <code class="filename">List_Useful_Information.bsh</code>, for example, will be
        displayed in the <span class="guimenu"><strong>Macros</strong></span> menu as <span class="guimenuitem"><strong>List
        Useful Information</strong></span>.</p><p>You can browse the user and system macro directories by opening
        the <code class="filename">macros</code> directory from the
        <span class="guimenu"><strong>Utilities</strong></span>><span class="guimenuitem"><strong>jEdit Home
        Directory</strong></span> and
        <span class="guimenu"><strong>Utilities</strong></span>><span class="guimenuitem"><strong>Settings
        Directory</strong></span> menus.</p><p>Macros can be opened and edited much like ordinary files from the
        file system browser. Editing macros from within jEdit will automatically
        update the macros menu; however, if you modify macros from another
        program or add macro files to the macro directories, you should run the
        <span class="guimenu"><strong>Macros</strong></span>><span class="guimenuitem"><strong>Rescan Macros</strong></span>
        command to update the macro list.</p></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="running-macros.html">Prev</a> </td><td width="20%" align="center"><a accesskey="u" href="using-macros.html">Up</a></td><td width="40%" align="right"> <a accesskey="n" href="using-plugins.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Running Macros </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Chapter 9. Installing and Using Plugins</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.