- 24 10月, 2017 37 次提交
-
-
由 Andre Weinand 提交于
-
由 Alex Dima 提交于
-
由 Johannes Rieken 提交于
-
由 Johannes Rieken 提交于
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
-
由 Joao Moreno 提交于
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
-
由 Benjamin Pasero 提交于
-
由 Dirk Baeumer 提交于
-
由 Benjamin Pasero 提交于
-
由 Johannes Rieken 提交于
-
由 isidor 提交于
fixes #36757
-
由 Rob Lourens 提交于
WIP - settings search
-
由 Rob Lourens 提交于
-
由 Rob Lourens 提交于
-
由 Rob Lourens 提交于
-
由 Rob Lourens 提交于
Consider any two DefaultPreferencesEditorInput to be the same, to prevent opening more than one in a group
-
由 Rob Lourens 提交于
-
由 Daniel Imms 提交于
Do not capture task shortcuts in terminal
-
由 Matt Bierner 提交于
-
由 Daniel Imms 提交于
Enforce a minimum terminal font size of 6
-
由 Daniel Ye 提交于
-
由 Daniel Imms 提交于
Fixes #36328
-
由 Daniel Imms 提交于
Fixes #36370
-
由 Daniel Imms 提交于
Have terminal listen to fine grained events
-
由 Andre Weinand 提交于
-
由 Sandeep Somavarapu 提交于
Separete default settings model and default settings editor model so that the latter can reuse the former. Have a complete dipose cycle for all editor models
-
- 23 10月, 2017 3 次提交
-
-
由 Christof Marti 提交于
-
由 Benjamin Pasero 提交于