private fun extract_options_names: Array[String] do
var names = new Array[String]
for option in toolcontext.option_context.options do
private fun extract_options_names: Array[String] do
var names = new Array[String]
for option in toolcontext.option_context.options do