themes - use rgba in defaults to preserve knowledge

src/vs/base/common/color.ts

@@ -25,7 +25,7 @@ export class RGBA {
 	 */
 	public readonly a: number;
 
-	constructor(r: number, g: number, b: number, a: number) {
+	constructor(r: number, g: number, b: number, a: number = 255) {
 		this.r = RGBA._clampInt_0_255(r);
 		this.g = RGBA._clampInt_0_255(g);
 		this.b = RGBA._clampInt_0_255(b);

src/vs/workbench/common/theme.ts

@@ -7,6 +7,7 @@ import nls = require('vs/nls');
 import { registerColor, editorBackground } from 'vs/platform/theme/common/colorRegistry';
 import { IDisposable, Disposable, dispose } from 'vs/base/common/lifecycle';
 import { IThemeService, ITheme, ICssStyleCollector } from 'vs/platform/theme/common/themeService';
+import { Color, RGBA } from 'vs/base/common/color';
 
 // < --- Tabs --- >
 
@@ -32,8 +33,8 @@ export const PANEL_BACKGROUND = registerColor('panelBackground', {
 }, nls.localize('panelBackground', "Panel background color. Panels are shown below the editor area and contain views like output and integrated terminal."));
 
 export const PANEL_BORDER_TOP_COLOR = registerColor('panelBorderTopColor', {
-	dark: '#80808059', // rgba(128, 128, 128, 0.35)
-	light: '#80808059', // rgba(128, 128, 128, 0.35)
+	dark: Color.fromRGBA(new RGBA(128, 128, 128)).transparent(0.35),
+	light: Color.fromRGBA(new RGBA(128, 128, 128)).transparent(0.35),
 	hc: '#6FC3DF'
 }, nls.localize('panelBorderTopColor', "Panel border color on the top separating to the editor. Panels are shown below the editor area and contain views like output and integrated terminal."));