Karl Burtram fe17955fa1 Add support for setting query options in settings and through API (#5484) ...

Initial query execution options PR.  This is the second in a set of query editor extensibility improvements I'm making.  The PRs include (1) bug fix for webview in query tab (2) dynamic toolbars and (3) fix query event sequencing and event metadata info.

2019-05-16 16:31:30 -07:00

30 KiB

Raw Blame History

View Raw