Merge from vscode 0a7364f00514c46c9caceece15e1f82f82e3712f

This commit is contained in:
ADS Merger
2020-07-22 03:06:57 +00:00
parent 53ec7585a9
commit 1b7b54ce14
229 changed files with 5099 additions and 3188 deletions

File diff suppressed because one or more lines are too long

View File

@@ -131,6 +131,10 @@ p {
margin-bottom: 1.5em;
}
li > p {
margin-bottom: 0;
}
/* don't space 2 paragraphs too far apart */
p + p {
margin-top: -0.8em;

View File

@@ -18,7 +18,13 @@ const settings = getSettings();
const vscode = acquireVsCodeApi();
const state = { ...vscode.getState(), ...getData<any>('data-state') };
const originalState = vscode.getState();
const state = {
...(typeof originalState === 'object' ? originalState : {}),
...getData<any>('data-state')
};
// Make sure to sync VS Code state here
vscode.setState(state);