mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-08 10:42:50 -06:00
reload = r command
This commit is contained in:
@@ -157,7 +157,7 @@ pCommand ws = case ws of
|
||||
|
||||
"es" : [] -> aImpure ICEditSession
|
||||
"ts" : [] -> aImpure ICTranslateSession
|
||||
|
||||
"r" : [] -> aImpure ICReload
|
||||
_ -> (CVoid, [])
|
||||
|
||||
where
|
||||
|
||||
Reference in New Issue
Block a user