10 lines
707 B
HTML
10 lines
707 B
HTML
|
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
|
||
|
|
<html><head><meta content="text/html; charset=utf-8" http-equiv="content-type"><title>External Lexers</title>
|
||
|
|
<link rel="stylesheet" href="styles.css" type="text/css">
|
||
|
|
</head>
|
||
|
|
<body><h1>External Lexers</h1><p>External
|
||
|
|
lexers are like built-in languages, but are provided by means of a
|
||
|
|
plugin (see <a href="Plugins.html">Plugins</a> for details). This allows to user to add powerful
|
||
|
|
syntax coloring and folding, but are harder to make. Installation goes
|
||
|
|
the same as for regular plugins, and you can select them from the
|
||
|
|
<span class="menu_item">Languages</span> menu, they will be at the bottom.</body></html>
|