Fix bug with triple click on extension id such that only the id will be selected

lwillia · lwillia · commit dd860bce54ac · 2018-04-14T18:38:36.000-04:00
diff --git a/src/vs/workbench/parts/extensions/electron-browser/media/extensionEditor.css b/src/vs/workbench/parts/extensions/electron-browser/media/extensionEditor.css
@@ -34,6 +34,7 @@
 	flex: 1;
 	padding-left: 20px;
 	overflow: hidden;
+	user-select: text;
 }
 
 .extension-editor > .header > .details > .title {
@@ -77,6 +78,7 @@
 	margin-left: 10px;
 	padding: 0px 4px;
 	border-radius: 4px;
+	user-select: none;
 }
 
 .extension-editor > .header > .details > .subtitle {

Original file line number	Diff line number	Diff line change
`@@ -34,6 +34,7 @@`
`34`	`34`	`flex: 1;`
`35`	`35`	`padding-left: 20px;`
`36`	`36`	`overflow: hidden;`
	`37`	`+ user-select: text;`
`37`	`38`	`}`
`38`	`39`
`39`	`40`	`.extension-editor > .header > .details > .title {`
`@@ -77,6 +78,7 @@`
`77`	`78`	`margin-left: 10px;`
`78`	`79`	`padding: 0px 4px;`
`79`	`80`	`border-radius: 4px;`
	`81`	`+ user-select: none;`
`80`	`82`	`}`
`81`	`83`
`82`	`84`	`.extension-editor > .header > .details > .subtitle {`