Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: Sprache: HTML

Original von: Isabelle^©

products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/jEdit/doc/tips/tip94.html

<html><body>

File name globs that associate files with edit modes can be changed in
the Editing pane of the Utilities>Global Options
dialog box.

For example, by default files matching "*.inc" are opened in PHP mode,
but some Pascal implementations use this extension as well. If you find
yourself with an urgent need to hack some Pascal, just remove "irc" from
the PHP file name glob to get:

<pre>*.{php3,php4,php,phtml}</pre>

And add it to the Pascal file name glob:

<pre>*.{pas,dpr,dpk}</pre>

</body>
</html>

¤ Dauer der Verarbeitung: 0.2 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
Eigene Datei ansehen

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.