[runner] Enable opening specific settings page (#13476)

* [runner] Enable opening specific settings page

* Error handling

* Spellcheck

* Address PR comments
This commit is contained in:
Stefan Markovic
2021-09-29 12:54:05 +02:00
committed by GitHub
parent 1984b3747e
commit 8853adda62
8 changed files with 195 additions and 26 deletions

View File

@@ -569,6 +569,7 @@ errc
errorlevel
ERRORMESSAGE
ERRORTITLE
ESettings
esize
estdir
etcore
@@ -994,6 +995,7 @@ IRepository
IResult
ISavable
isbi
iss
ISearch
IService
isetting