- 12 9月, 2019 1 次提交
-
-
由 Matt Bierner 提交于
Fixes #80656
-
- 22 8月, 2019 1 次提交
-
-
由 Peng Lyu 提交于
-
- 16 8月, 2019 1 次提交
-
-
由 Matt Bierner 提交于
#78168
-
- 04 8月, 2019 1 次提交
-
-
由 Arash Arbabi 提交于
-
- 03 8月, 2019 1 次提交
-
-
由 Peng Lyu 提交于
-
- 01 8月, 2019 1 次提交
-
-
由 Arash Arbabi 提交于
-
- 26 7月, 2019 4 次提交
-
-
由 Daniel Imms 提交于
-
由 Logan Ramos 提交于
-
由 Logan Ramos 提交于
-
由 Logan Ramos 提交于
-
- 17 7月, 2019 1 次提交
-
-
由 Miguel Solorio 提交于
-
- 29 6月, 2019 1 次提交
-
-
由 Daniel Imms 提交于
-
- 06 6月, 2019 1 次提交
-
-
由 Matt Bierner 提交于
-
- 14 5月, 2019 1 次提交
-
-
由 Urange 提交于
-
- 13 5月, 2019 1 次提交
-
-
由 Urange 提交于
-
- 19 3月, 2019 1 次提交
-
-
由 mgquan@myseneca.ca 提交于
-
- 11 3月, 2019 1 次提交
-
-
由 mgquan@myseneca.ca 提交于
-
- 07 3月, 2019 1 次提交
-
-
由 Matt Bierner 提交于
Readonly helps with type guards and code comprehension
-
- 22 2月, 2019 1 次提交
-
-
由 Matt Bierner 提交于
Fixes #59606 This matches how the editor find widget works
-
- 20 2月, 2019 1 次提交
-
-
由 Daniel Imms 提交于
Part of #60565
-
- 12 2月, 2019 2 次提交
-
-
由 Christopher Leidigh 提交于
-
由 Christopher Leidigh 提交于
-
- 08 2月, 2019 1 次提交
-
-
由 Benjamin Pasero 提交于
-
- 07 2月, 2019 2 次提交
-
-
由 Matt Bierner 提交于
**Problem** `ITheme.getColor` is one of the major users of the type `null` in our codebase. However this function is used in many places that expected an `undefined` type instead. With the strict null work, this means that we have to write code such as `theme.getColor(...) || undefined` in some cases or have to work with `Color | null | undefined` types. **Fix** `undefined` is generally better supported by TypeScript and more natural in JavaScript. This change makes `ITheme.getColor` return `Color | undefined` instead of `Color | null`.
-
由 Matt Bierner 提交于
-
- 12 12月, 2018 1 次提交
-
-
由 Matt Bierner 提交于
-
- 23 10月, 2018 1 次提交
-
-
由 Alex Dima 提交于
-
- 20 9月, 2018 1 次提交
-
-
由 Alex Ross 提交于
Added keybindings for terminal find next and find previous and updated regex, whole word, and case sensitive keybindings to match the way next and previous work. Fixes #29661
-
- 18 9月, 2018 1 次提交
-
-
由 Alex Ross 提交于
Added find options checkboxes to terminal find widget with keybindings and hooked the buttons up to use the new xterm.js find api. Fixes #58826
-
- 13 9月, 2018 1 次提交
-
-
由 Alex Ross 提交于
Updated find focus tracker for terminal. Fixes #29670
-
- 05 9月, 2018 1 次提交
-
-
由 Karthikayan 提交于
* add option for input validation foreground color for findWidget * fix copy paste mistakes * removing defaults for foreground color * add inputValidationForeground wherever inputValidationBackground is used * add inputValidationForeground color
-
- 28 6月, 2018 1 次提交
-
-
由 Sandeep Somavarapu 提交于
-
- 26 6月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
Fixes #29670
-
- 14 6月, 2018 1 次提交
-
-
由 Matt Bierner 提交于
#50556
-
- 11 6月, 2018 1 次提交
-
-
由 Sandeep Somavarapu 提交于
- Ability to register a context scoped history navigation widget - context to enable / disable history navigation
-
- 08 6月, 2018 2 次提交
-
-
由 Sandeep Somavarapu 提交于
-
由 Sandeep Somavarapu 提交于
-
- 07 6月, 2018 2 次提交
-
-
由 Sandeep Somavarapu 提交于
- Implement Context scoped history input widget - Adopt to context scoped history input widget
-
由 Sandeep Somavarapu 提交于
-
- 12 5月, 2018 1 次提交
-
-
由 Matt Bierner 提交于
-