decorator-factory/pyright-playground

options menu

Opened this issue · 0 comments

DetachHead commented

currently there's no way to specify of these options