vitomation01: #i109562 - Fix typo (i really should work locally...)
This commit is contained in:
parent
68b7b72b15
commit
3b2350a5bb
1 changed files with 1 additions and 1 deletions
|
@ -72,7 +72,7 @@ sub hEnablePrettyPrinting ( optional bDisablePrettyPrinting )
|
||||||
|
|
||||||
ToolsOptions
|
ToolsOptions
|
||||||
Kontext "ExtrasOptionenDLG"
|
Kontext "ExtrasOptionenDLG"
|
||||||
if ( ExtrasOptionanDlg.exists( 1 ) ) then
|
if ( ExtrasOptionenDlg.exists( 1 ) ) then
|
||||||
|
|
||||||
call hToolsOptions("loadsave","general")
|
call hToolsOptions("loadsave","general")
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue