@@ -33,17 +33,17 @@ bootstrapWindow.load([
3333 return require ( 'vs/workbench/electron-browser/desktop.main' ) . main ( configuration ) ;
3434 } ) ;
3535 } , {
36- removeDeveloperKeybindingsAfterLoad : true ,
37- canModifyDOM : function ( windowConfig ) {
38- showPartsSplash ( windowConfig ) ;
39- } ,
40- beforeLoaderConfig : function ( windowConfig , loaderConfig ) {
41- loaderConfig . recordStats = true ;
42- } ,
43- beforeRequire : function ( ) {
44- perf . mark ( 'willLoadWorkbenchMain' ) ;
45- }
46- } ) ;
36+ removeDeveloperKeybindingsAfterLoad : true ,
37+ canModifyDOM : function ( windowConfig ) {
38+ showPartsSplash ( windowConfig ) ;
39+ } ,
40+ beforeLoaderConfig : function ( windowConfig , loaderConfig ) {
41+ loaderConfig . recordStats = true ;
42+ } ,
43+ beforeRequire : function ( ) {
44+ perf . mark ( 'willLoadWorkbenchMain' ) ;
45+ }
46+ } ) ;
4747
4848/**
4949 * @param {{
@@ -84,14 +84,26 @@ function showPartsSplash(configuration) {
8484 style . className = 'initialShellColors' ;
8585 document . head . appendChild ( style ) ;
8686 document . body . className = baseTheme ;
87- style . innerHTML = `body { background-color: ${ shellBackground } ; color: ${ shellForeground } ; }` ;
87+ style . innerHTML = `body { background-color: ${ shellBackground } ; color: ${ shellForeground } ; margin: 0; padding: 0; }` ;
8888
8989 if ( data && data . layoutInfo ) {
9090 // restore parts if possible (we might not always store layout info)
9191 const { id, layoutInfo, colorInfo } = data ;
9292 const splash = document . createElement ( 'div' ) ;
9393 splash . id = id ;
9494
95+ if ( layoutInfo . windowBorder ) {
96+ splash . style . position = 'relative' ;
97+ splash . style . height = 'calc(100vh - 2px)' ;
98+ splash . style . width = 'calc(100vw - 2px)' ;
99+ splash . style . border = '1px solid var(--window-border-color)' ;
100+ splash . style . setProperty ( '--window-border-color' , colorInfo . windowBorder ) ;
101+
102+ if ( layoutInfo . windowBorderRadius ) {
103+ splash . style . borderRadius = layoutInfo . windowBorderRadius ;
104+ }
105+ }
106+
95107 // ensure there is enough space
96108 layoutInfo . sideBarWidth = Math . min ( layoutInfo . sideBarWidth , window . innerWidth - ( layoutInfo . activityBarWidth + layoutInfo . editorPartMinWidth ) ) ;
97109
0 commit comments