Skip to content

Review all uses of getOption("devtools.SOMETHING") #159

Description

@jennybc

I suspect this is not implemented uniformly right now:

consult a usethis option then, if absent, consult a devtools option

Metadata

Metadata

Assignees

No one assigned

    Labels

    featurea feature request or enhancementwipwork in progress

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions