Benjamin Pasero
|
da22b140fb
|
grid - some cleanup
|
2018-05-25 16:12:36 +02:00 |
|
Benjamin Pasero
|
c386392f87
|
Merge branch 'master' into ben/editor
|
2018-05-25 12:15:55 +02:00 |
|
Andre Weinand
|
4e262c2bb3
|
refactor EH setting
|
2018-05-25 10:38:01 +02:00 |
|
Benjamin Pasero
|
2a3930133d
|
grid - fix tab border when tab container has border
|
2018-05-25 10:36:07 +02:00 |
|
Benjamin Pasero
|
fd7d510b0b
|
grid - only draw border around tabs as needed
|
2018-05-25 10:09:34 +02:00 |
|
Dirk Baeumer
|
46c5c742e5
|
Run a normal shell under Mac.
|
2018-05-25 09:39:25 +02:00 |
|
Benjamin Pasero
|
66e0b70441
|
grid - fix miuse of title.active / title.inactive
|
2018-05-25 09:10:49 +02:00 |
|
Benjamin Pasero
|
27ad10f858
|
grid - let centered editor layout be a real grid layout
|
2018-05-25 08:51:21 +02:00 |
|
Benjamin Pasero
|
7cd65898ad
|
grid - fix close icon getting inlined by using a version that is not referenced from any CSS
|
2018-05-25 08:31:50 +02:00 |
|
Benjamin Pasero
|
36ce4f6b9c
|
diff - temporary console log to debug diff reveal issues
|
2018-05-25 07:41:27 +02:00 |
|
Benjamin Pasero
|
0173e96110
|
grid - improved implementation of applyLayout()
|
2018-05-25 07:31:49 +02:00 |
|
Rob Lourens
|
eed12c19a5
|
EH search - unblock search provider dev
|
2018-05-24 21:52:54 -07:00 |
|
Benjamin Pasero
|
b16ec92aa1
|
Merge branch 'master' into ben/editor
|
2018-05-25 06:32:30 +02:00 |
|
Rob Lourens
|
96e3fd51a5
|
EH search - invoke all providers during a search to unblock search provider extension development
|
2018-05-24 21:28:01 -07:00 |
|
Rob Lourens
|
49ab54ef08
|
#50414 - Give settings editor tree its own stylesheet so it can be styled independently from other trees
|
2018-05-24 18:33:34 -07:00 |
|
Dirk Baeumer
|
e0ce881040
|
First cut of #50416: Add support that FileSystemProviders can control the URI of a generated problem marker
|
2018-05-24 22:19:14 +02:00 |
|
Rob Lourens
|
73bc3cf04c
|
Fix #50404 - revert settings editor style customizations
|
2018-05-24 10:46:00 -07:00 |
|
Sandeep Somavarapu
|
522d16e1cc
|
Fix #49814
|
2018-05-24 15:34:13 +02:00 |
|
Benjamin Pasero
|
fd50f1fa55
|
grid - open empty group instead of artifically copying over editor from active group
|
2018-05-24 15:09:49 +02:00 |
|
Benjamin Pasero
|
bc57e564e3
|
grid - add actions to create empty groups
|
2018-05-24 12:48:03 +02:00 |
|
Sandeep Somavarapu
|
5d8d083f9f
|
Fix #46584
|
2018-05-24 12:23:49 +02:00 |
|
Sandeep Somavarapu
|
3535f77340
|
Fix #47730
|
2018-05-24 12:10:30 +02:00 |
|
Sandeep Somavarapu
|
7a79259ba8
|
Fix #49258
|
2018-05-24 11:49:45 +02:00 |
|
Benjamin Pasero
|
4c741b06b9
|
grid - let "close" action be a command and support alternative execution
|
2018-05-24 11:28:16 +02:00 |
|
Benjamin Pasero
|
8fffee2390
|
grid - let "open side by side" editor action be a command with alternative command support
|
2018-05-24 11:10:49 +02:00 |
|
Benjamin Pasero
|
58e9265120
|
grid - apply editor layout in grid order
|
2018-05-24 10:12:56 +02:00 |
|
Benjamin Pasero
|
73249bbbd7
|
grid - fix broken preferred height
|
2018-05-24 09:48:07 +02:00 |
|
Benjamin Pasero
|
2243f85185
|
Merge branch 'master' into ben/editor
|
2018-05-24 08:11:30 +02:00 |
|
Benjamin Pasero
|
8e1e0b2d0b
|
grid - try to restore editors when changing layout
|
2018-05-24 08:05:11 +02:00 |
|
Benjamin Pasero
|
709ff68c03
|
grid - restore focus properly when removing empty group
|
2018-05-24 08:04:06 +02:00 |
|
Benjamin Pasero
|
142ecddbaf
|
grid - more commands for empty group
|
2018-05-24 08:03:47 +02:00 |
|
Rob Lourens
|
16a54dac7b
|
Add helpers for repeating mocha tests, and a search smoketest helper
|
2018-05-23 22:08:09 -07:00 |
|
Rob Lourens
|
8bf066e3dc
|
Fix #50335
|
2018-05-23 17:41:18 -07:00 |
|
Rob Lourens
|
303f7154ed
|
Settings editor - add row aria labels
|
2018-05-23 16:42:32 -07:00 |
|
Rob Lourens
|
b8c6ac61e3
|
Settings editor - narrower focused row indicator
|
2018-05-23 15:56:46 -07:00 |
|
Rob Lourens
|
c6d8acd3a7
|
Settings editor - fix row measuring after width was moved inside the scrollable container
|
2018-05-23 15:51:37 -07:00 |
|
Rob Lourens
|
ce71e73d88
|
Fix #50370 - make settings editor scrollable area fill horizontally
|
2018-05-23 15:09:30 -07:00 |
|
Rob Lourens
|
dd19cd7759
|
Merge branch 'roblou/settingsEditorAsTree'
|
2018-05-23 14:30:12 -07:00 |
|
Rob Lourens
|
de1fbc1cf6
|
Settings editor - keyboard access, theming
|
2018-05-23 14:29:49 -07:00 |
|
Dirk Baeumer
|
f5f238f5ea
|
Merge branch 'dbaeumer/48831'
|
2018-05-23 21:14:35 +02:00 |
|
Rob Lourens
|
00c76eeb46
|
Settings editor - Rename test file
|
2018-05-23 10:38:36 -07:00 |
|
Rob Lourens
|
e26ef4c2cc
|
Settings editor as tree - fix expand sizing and padding
|
2018-05-23 10:35:54 -07:00 |
|
Sandeep Somavarapu
|
8b6b376238
|
#24396 Fix matching complete keybinding
|
2018-05-23 18:26:28 +02:00 |
|
Benjamin Pasero
|
18b530741d
|
grid - fix focus not restored when closing last editor of group
|
2018-05-23 15:50:49 +02:00 |
|
Benjamin Pasero
|
0d1810efc3
|
grid - fix commands context lookup
|
2018-05-23 13:00:34 +02:00 |
|
Benjamin Pasero
|
8059647992
|
grid - fix compile error
|
2018-05-23 12:34:50 +02:00 |
|
Benjamin Pasero
|
57b753836a
|
Merge branch 'master' into ben/editor
|
2018-05-23 12:31:17 +02:00 |
|
Benjamin Pasero
|
3fa0bdbb9a
|
fix #49587
|
2018-05-23 12:23:44 +02:00 |
|
Sandeep Somavarapu
|
8fbfcb1ce1
|
Fix #50143
|
2018-05-23 12:04:03 +02:00 |
|
Benjamin Pasero
|
ab7826b85f
|
build - comment out flaky test
|
2018-05-23 11:57:16 +02:00 |
|