mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-04-14 18:40:40 +02:00
57 lines
1019 B
INI
57 lines
1019 B
INI
[Compile]
|
|
CompileMode=NORMAL
|
|
|
|
[Editor]
|
|
DefaultTabSize=8
|
|
DefaultIndentSize=1
|
|
DefaultFlags=20599
|
|
DefaultSaveExt=.pas
|
|
|
|
[Highlight]
|
|
Exts="*.pas;*.pp;*.inc;*.dpr;*.lpr"
|
|
NeedsTabs="make*;make*.*;fpcmake.loc"
|
|
|
|
[SourcePath]
|
|
SourceList=""
|
|
|
|
[Mouse]
|
|
DoubleDelay=8
|
|
ReverseButtons=0
|
|
AltClickAction=6
|
|
CtrlClickAction=1
|
|
|
|
[Keyboard]
|
|
EditKeys=microsoft
|
|
|
|
[Search]
|
|
FindFlags=4
|
|
|
|
[Breakpoints]
|
|
Count=0
|
|
|
|
[Watches]
|
|
Count=0
|
|
|
|
[Preferences]
|
|
DesktopFileFlags=209
|
|
CenterCurrentLineWhileDebugging=1
|
|
AutoSaveFlags=6
|
|
MiscOptions=6
|
|
DesktopLocation=1
|
|
|
|
[Misc]
|
|
ShowReadme=0
|
|
|
|
[Run]
|
|
RemotePort=2345
|
|
RemoteSendCommand=$REMOTECOPY $CONFIG $IDENT $LOCALFILE $REMOTEMACHINE:$REMOTEDIR
|
|
RemoteExecCommand="cd $REMOTEDIR; chmod u+x ./$LOCALFILENAME; $REMOTEGDBSERVER :$REMOTEPORT ./$LOCALFILENAME"
|
|
RemoteSshExecCommand=$START $REMOTESHELL $CONFIG $IDENT -L $REMOTEPORT:localhost:$REMOTEPORT $REMOTEMACHINE "$REMOTEEXECCOMMAND" $DOITINBACKGROUND
|
|
gdbserver=gdbserver
|
|
RemoteCopy=scp
|
|
RemoteShell=ssh
|
|
|
|
[Files]
|
|
OpenExts="*.pas;*.pp;*.inc;*.dpr;*.lpr"
|
|
PrinterDevice=prn
|