Skip to content

Merge from microsoft/vscode master#4

Merged
Linskeyd merged 1223 commits intoLinskeyd:masterfrom
microsoft:master
Oct 1, 2019
Merged

Merge from microsoft/vscode master#4
Linskeyd merged 1223 commits intoLinskeyd:masterfrom
microsoft:master

Conversation

@Linskeyd
Copy link
Owner

@Linskeyd Linskeyd commented Oct 1, 2019

No description provided.

bpasero and others added 30 commits September 25, 2019 09:47
* working on the left side

* flow direction working

* flow direction

* use menubar visibility to set setting

* hide titlebar on the web

* fix hover feedback
This way debug sessions sharing a single repl will all be notified about new
repl elements and UI will be updated.
Miguel Solorio and others added 27 commits September 30, 2019 11:34
Remove focus outline on settings editor. It's not tabbable so it doesn't serve any purpose and is annoying to see every time I click on the editor background. Just need to keep .editor-instance from getting focus on click.
Fix #81675
- Fix keyboard shortcut to show context menu
- Fix showing gear icon when settings row is focused
Fixes #80617

Some extensions may provide us with bad data types (if they are js or don't have strict null enabled for example). Try to be more careful about handling such cases by falling back to an empty array instead of undefined
It needs more polishing and should probably only be enabled for files that may have custom editors enabled
These features are not working in many cases and the api around them will likely change significantly
@Linskeyd Linskeyd merged commit 8e70e96 into Linskeyd:master Oct 1, 2019
Linskeyd pushed a commit that referenced this pull request Oct 1, 2019
… search (microsoft#80495)

* Added buildRegexParseError for better parsing error message

* Fixed message

* Review #1 changes

* Changed error message as per review #2

* Review #3 changes

* Review #4 changes
@github-actions github-actions bot locked and limited conversation to collaborators May 29, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.