products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/using-macros.html |
 |
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>Chapter 8. Using 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-jedit-part.html" title="Part I. Using jEdit"><link rel="prev" href="settings-directory.html" title="The jEdit Settings Directory"><link rel="next" href="recording-macros.html" title="Recording Macros"></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">Chapter 8. Using Macros</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="settings-directory.html">Prev</a> </td><th width="60%" align="center">Part I. Using jEdit</th><td width="20%" align="right"> <a accesskey="n" href="recording-macros.html">Next</a></td></tr></table><hr></div><div class="chapter"><div class="titlepage"><div><div><h2 class="title"><a name="using-macros"></a>Chapter 8. Using Macros</h2></div></div></div><div class="toc"><p><b>Table of Contents</b></p><ul class="toc"><li><span class="section"><a href="recording-macros.html">Recording Macros</a></span></li><li><span class="section"><a href="running-macros.html">Running Macros</a></span></li><li><span class="section"><a href="organizing-macros.html">How jEdit Organizes Macros</a></span></li></ul></div><p>Macros in jEdit are short scripts written in a scripting language
called <em class="firstterm">BeanShell</em>. They provide an easy way to
automate repetitive keyboard and menu procedures, as well as access to the
objects and methods created by jEdit. Macros also provide a powerful
facility for customizing jEdit and automating complex text processing and
programming tasks. This section describes how to record and run macros. A
detailed guide on writing macros appears later; see <a class="xref" href="writing-macros-part.html" title="Part III. Writing Macros">Part III, “Writing Macros”</a>.</p><div class="sidebar"><div class="titlepage"><div><div><p class="title"><b>Other scripting languages</b></p></div></div></div><p>A number of jEdit plugins provide support for writing scripts in
alternative programming languages, like Python and Prolog. Consult the
documentation for the appropriate plugins for more information.</p></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="settings-directory.html">Prev</a> </td><td width="20%" align="center"><a accesskey="u" href="using-jedit-part.html">Up</a></td><td width="40%" align="right"> <a accesskey="n" href="recording-macros.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">The jEdit Settings Directory </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Recording Macros</td></tr></table></div></body></html>
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤
|
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.
|