debug: show verified with a dark red, otherwise use pale red.

src/vs/workbench/parts/debug/browser/debugEditorModelManager.ts

@@ -257,7 +257,7 @@ export class DebugEditorModelManager implements IWorkbenchContribution {
 		return breakpoints.map((breakpoint) => {
 			return {
 				options: (!breakpoint.enabled || !activated) ? DebugEditorModelManager.BREAKPOINT_DISABLED_DECORATION :
-					breakpoint.verified ? DebugEditorModelManager.BREAKPOINT_ERROR_DECORATION : DebugEditorModelManager.BREAKPOINT_DECORATION,
+					breakpoint.verified ? DebugEditorModelManager.BREAKPOINT_VERIFIED_DECORATION : DebugEditorModelManager.BREAKPOINT_DECORATION,
 				range: createRange(breakpoint.lineNumber, 1, breakpoint.lineNumber, 2)
 			};
 		});
@@ -275,8 +275,8 @@ export class DebugEditorModelManager implements IWorkbenchContribution {
 		stickiness: editorcommon.TrackedRangeStickiness.NeverGrowsWhenTypingAtEdges
 	};
 
-	private static BREAKPOINT_ERROR_DECORATION: editorcommon.IModelDecorationOptions = {
-		glyphMarginClassName: 'debug-breakpoint-glyph-error',
+	private static BREAKPOINT_VERIFIED_DECORATION: editorcommon.IModelDecorationOptions = {
+		glyphMarginClassName: 'debug-breakpoint-glyph-verified',
 		stickiness: editorcommon.TrackedRangeStickiness.NeverGrowsWhenTypingAtEdges
 	};
 

src/vs/workbench/parts/debug/browser/media/breakpoint-dark.svg

-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg"><g fill="none" fill-rule="evenodd"><g fill="#c10"><circle cx="8" cy="8" r="5"/></g></g></svg>
\ No newline at end of file
+<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg"><g fill="none" fill-rule="evenodd"><g fill="#c10" fill-opacity=".4"><circle cx="8" cy="8" r="5"/></g></g></svg>
\ No newline at end of file

src/vs/workbench/parts/debug/browser/media/breakpoint-disabled-dark.svg

-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg"><g fill="none" fill-rule="evenodd"><g fill="#c10" fill-opacity=".4"><circle cx="8" cy="8" r="5"/></g></g></svg>
\ No newline at end of file
+<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg"><g fill="none" fill-rule="evenodd"><g stroke="#c10" stroke-width="2"><circle cx="8" cy="8" r="4"/></g></g></svg>
\ No newline at end of file

src/vs/workbench/parts/debug/browser/media/breakpoint-disabled.svg

-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg"><g fill="none" fill-rule="evenodd"><g fill="#E51400" fill-opacity=".3"><circle cx="8" cy="8" r="5"/></g></g></svg>
\ No newline at end of file
+<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg"><g fill="none" fill-rule="evenodd"><g stroke="#E51400" stroke-width="2"><circle cx="8" cy="8" r="4"/></g></g></svg>
\ No newline at end of file

src/vs/workbench/parts/debug/browser/media/breakpoint-error-dark.svg → src/vs/workbench/parts/debug/browser/media/breakpoint-verified-dark.svg

-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg"><g fill="none" fill-rule="evenodd"><g stroke="#c10" stroke-width="2"><circle cx="8" cy="8" r="4"/></g></g></svg>
\ No newline at end of file
+<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg"><g fill="none" fill-rule="evenodd"><g fill="#c10"><circle cx="8" cy="8" r="5"/></g></g></svg>
\ No newline at end of file

src/vs/workbench/parts/debug/browser/media/breakpoint-error.svg → src/vs/workbench/parts/debug/browser/media/breakpoint-verified.svg

-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg"><g fill="none" fill-rule="evenodd"><g stroke="#E51400" stroke-width="2"><circle cx="8" cy="8" r="4"/></g></g></svg>
\ No newline at end of file
+<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg"><g fill="none" fill-rule="evenodd"><g fill="#E51400"><circle cx="8" cy="8" r="5"/></g></g></svg>
\ No newline at end of file

src/vs/workbench/parts/debug/browser/media/breakpoint.svg

-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg"><g fill="none" fill-rule="evenodd"><g fill="#E51400"><circle cx="8" cy="8" r="5"/></g></g></svg>
\ No newline at end of file
+<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg"><g fill="none" fill-rule="evenodd"><g fill="#E51400" fill-opacity=".3"><circle cx="8" cy="8" r="5"/></g></g></svg>
\ No newline at end of file

src/vs/workbench/parts/debug/browser/media/debug.contribution.css

@@ -26,15 +26,15 @@
 }
 
 .monaco-editor .debug-breakpoint-glyph-hint {
-	background: url('breakpoint-disabled.svg') center center no-repeat;
+	background: url('breakpoint.svg') center center no-repeat;
 }
 
 .monaco-editor .debug-breakpoint-glyph-disabled {
 	background: url('breakpoint-disabled.svg') center center no-repeat;
 }
 
-.monaco-editor .debug-breakpoint-glyph-error {
-	background: url('breakpoint-error.svg') center center no-repeat;
+.monaco-editor .debug-breakpoint-glyph-verified {
+	background: url('breakpoint-verified.svg') center center no-repeat;
 }
 
 .monaco-editor .debug-top-stack-frame-glyph {
@@ -268,15 +268,15 @@
 }
 
 .monaco-editor.vs-dark .debug-breakpoint-glyph-hint {
-	background: url('breakpoint-disabled-dark.svg') center center no-repeat;
+	background: url('breakpoint-dark.svg') center center no-repeat;
 }
 
 .monaco-editor.vs-dark .debug-breakpoint-glyph-disabled {
 	background: url('breakpoint-disabled-dark.svg') center center no-repeat;
 }
 
-.monaco-editor.vs-dark .debug-breakpoint-glyph-error {
-	background: url('breakpoint-error-dark.svg') center center no-repeat;
+.monaco-editor.vs-dark .debug-breakpoint-glyph-verified {
+	background: url('breakpoint-verified-dark.svg') center center no-repeat;
 }
 
 .monaco-editor.vs-dark .debug-top-stack-frame-glyph {