-
Notifications
You must be signed in to change notification settings - Fork 0
/
Launchy.ini
43 lines (35 loc) · 1.94 KB
/
Launchy.ini
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
[Config]
GUI_posn = '80 60'
iconify = 1
letscrash = 1 ; Allows the user to make Launchy crash (for testing error trapping).
CommandLine = '' ; Command line options (nested)
[WSSIZE]
options = '32M,64M,128M,256M,512M,1G,2G,4G'
default = '256M'
[EXEC_SETUP] ; Decides whether the option "Execute Setup.dyalog" is ticked or not
default = 1
[FONT] ; Make sure that these settings reflect your setting in []SE!
name = 'APL385 Unicode'
size = 18
[WS_CHECK] ; See combo box "check workspace integrity"
list = ''
list ,= 'a) Occasionally'
list ,= 'b) after each callback; -Dc'
list ,= 'c) on return to session input; -Dw'
list ,= 'd) combine b) and c); -Dcw'
list ,= 'e) Log ⎕SE keystrokes to ./apllog; -DK'
list ,= 'f) After every line (very slow); -DW'
default = 'd' ; Can be one of: a,b,c,d,e,f
[RIDE]
active = 1 ; Use this only to disable RIDE permanently
tick = 0 ; Specify the default for whether the user shall be asked for a RIDE
port = 4520 ; The default port. The user can change this via the GUI
connect = '127.0.0.1' ; Note: on some machines "localhost" does not work but 127.0.0.1 does.
profile = 'C:\T\DSE\Ride\prefs.json'
; This path:
path2ride = 'C:\Users\%USERNAME%\AppData\Local\Programs\Dyalog'
; refers to the default installation directory for Ride when `[you]` will be replaced by `⎕AN` at runtime.
; The search for Ride installations in that folder will be performed recursively.
; All installed main versions (like 3.0, 3.1 and 4.0) are going into the "File" menu.
; You need to specify a different path only if you have decided to install Ride in a non-default location.
; If several sub versions (say 3.0.1234 and 3.0.9876) are installed then Launchy determines the "best" version (3.0.9876 in our example) automatically.