| products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/modes/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: Optionen.html Sprache: HTML |
|
||||||||
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML> <HEAD> <META HTTP-EQUIV="CONTENT-TYPE" CONTENT="text/html; charset=windows-1252"> <TITLE>Untitled Document </TITLE> <META NAME="GENERATOR" CONTENT="OpenOffice.org 3.4 (Win32)"> <META NAME="CREATED" CONTENT="0;0"> <META NAME="CHANGEDBY" CONTENT="Jens Doll"> <META NAME="CHANGED" CONTENT="20130115;9101259"> <META NAME="CHANGEDBY" CONTENT="Jens Doll"> <META NAME="CHANGEDBY" CONTENT="Jens Doll"> <META NAME="CHANGEDBY" CONTENT="Jens Doll"> <META NAME="CHANGEDBY" CONTENT="Jens Doll"> <META NAME="CHANGEDBY" CONTENT="Jens Doll"> <META NAME="CHANGEDBY" CONTENT="Jens Doll"> <META NAME="CHANGEDBY" CONTENT="Jens Doll"> <META NAME="CHANGEDBY" CONTENT="Jens Doll"> <META NAME="CHANGEDBY" CONTENT="Jens Doll"> </HEAD> <BODY LANG="de-DE" DIR="LTR"> <P><STRONG>Options of Bille </STRONG> </P> <P>In the menu item Options</P> <P><IMG SRC="Optionen.jpg" NAME="graphics1" ALIGN=BOTTOM WIDTH=317 HEIGHT=449 BORDER=0></P> <P>you can change some parameters for Bille. These* are</P> <P><STRONG>Separator </STRONG><STRONG><SPAN STYLE="font-weight: normal">is the character which separates fields</SPAN></STRONG> <BR><BR><B>Line-/Recordend </B><STRONG><SPAN STYLE="font-weight: normal">is the character which separates records</SPAN></STRONG></P> <P><STRONG><B>Field delimter</B></STRONG><STRONG> </STRONG><STRONG><SPAN STYLE="font-weight: normal"> the character embedding the fiedl, e.g. „ or ' <P><STRONG><B>Escape Character </B></STRONG><STRONG><SPAN STYLE="font-weight: normal">ist the preceding chacacter for a special character like \ for \n \r \t ... </SPAN></STRONG><BR><BR><B>First line </B><STRONG>… </STRONG><STRONG><SPAN STYLE="font-weight: normal">determines if the first record will contain then names of the fields</SPAN></STRONG><BR><BR><B>Language</B><STRONG> </STRONG><STRONG><SPAN STYLE="font-weight: normal">switches between deutsch and a foreign (english) language</SPAN></STRONG></P> <P><STRONG><B>Export keys only </B></STRONG><STRONG><SPAN STYLE="font-weight: normal">restrict the fields which become exported to only a few</SPAN></STRONG></P> <P><STRONG><B>Keys of left/right file </B></STRONG><STRONG><SPAN STYLE="font-weight: normal">define the fields to become exported; enter e.g. 1,3,5</SPAN></STRONG></P> <P><STRONG><SPAN STYLE="font-weight: normal">* </SPAN></STRONG><STRONG><B>#13</B></STRONG><STRONG> (or #nn) </STRONG><STRONG><SPAN STYLE="font-weight: normal">is in all option fields a notation for ASCII character 13</SPAN></STRONG></P> </BODY> </HTML> ¤ Dauer der Verarbeitung: 0.15 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.Bot Zugriff |
