#209: check use of set_default_option() ---------------------+------------------------------------------------------ Reporter: michel | Owner: sebastien Type: bug | Status: accepted Priority: major | Milestone: 4.3 Component: General | Version: Keywords: | ---------------------+------------------------------------------------------
Comment(by sebastien):
Most simple calls to set_default_option removed in edbf3bd175bebabe1af3868081242809fd7a6fb3
Still need to deal with more complex cases, where the default value is context-dependent. These cases are actually probably buggy when multiple tasks with different contexts are done in the same file.
Also the set_default_option is used on purpose for GSA and identification options structures.