Searched refs:get_file_handler_conf_key (Results 1 – 2 of 2) sorted by relevance
15 get_file_handler_conf_key,554 get_workbench().set_default(get_file_handler_conf_key(ext), "thonny")
668 1 if get_workbench().get_option(get_file_handler_conf_key(extension)) == "thonny" else 0686 get_file_handler_conf_key(extension),863 return get_workbench().get_option(get_file_handler_conf_key(ext), "system") == "thonny"1342 def get_file_handler_conf_key(extension): function