| products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/doc/tips/tip85.html |
 |
<html><body>The <b>SpellCheck</b> plugin lets you check spelling within
jEdit if the <code>aspell</code> utility is installed. <code>aspell</code> can
be found at <font color="blue"><u>http://aspell.sourceforge.net</u></font>.<p>
<b>Jazzy</b> and <b>VoxSpell</b> are alternative spelling checker plugins that do not rely
on an external utility. VoxSpell shows you errors as you type. <p>
Plugins can
be downloaded and installed from within jEdit using the plugin manager
(<b>Plugins</b>><b>Plugin Manager</b>).</body></html>
¤ Dauer der Verarbeitung: 0.1 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.
|
