Tyler James Leonhardt
|
89d8eed14f
|
Allow extension authors to set the title of a QuickPick/InputBox in Options (#119144)
* plumb title through
* add title to BaseTransferQuickInput
|
2021-03-18 13:06:06 -07:00 |
|
Christof Marti
|
060e23075c
|
Fix QuickInput result types (fixes #91877)
|
2020-04-08 11:40:34 +02:00 |
|
Christof Marti
|
ad063b9df9
|
ThemeIcon support (fixes #72489)
|
2020-01-24 21:40:21 +01:00 |
|
Christof Marti
|
044a5f9206
|
Remove suppressImplicitAnyIndexErrors (#76442)
|
2019-07-02 16:38:39 +02:00 |
|
Matt Bierner
|
e7a7248009
|
Work on implicit any errors
#70352
|
2019-03-20 16:53:43 -07:00 |
|
Johannes Rieken
|
8237956caa
|
move mainThread[M-Q], #70319
|
2019-03-19 17:37:07 +01:00 |
|