Fixed bug in focus_highlighting.css stylesheet

githubuser0xFFFF · githubuser0xFFFF · commit a2c94c16b5c5 · 2023-11-27T22:04:45.000+01:00
diff --git a/src/stylesheets/focus_highlighting.css b/src/stylesheets/focus_highlighting.css
@@ -333,7 +333,7 @@ ads--CAutoHideDockContainer ads--CDockAreaWidget[focused="true"] ads--CDockAreaT
 
 
 ads--CAutoHideDockContainer #dockAreaAutoHideButton {
-	qproperty-icon: url(:/ads/images/vs-pin-button-pinned-focused.svg),
+	qproperty-icon: url(:/ads/images/vs-pin-button-pinned-focused.svg);
 	qproperty-iconSize: 16px;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -333,7 +333,7 @@ ads--CAutoHideDockContainer ads--CDockAreaWidget[focused="true"] ads--CDockAreaT`
`333`	`333`
`334`	`334`
`335`	`335`	`ads--CAutoHideDockContainer #dockAreaAutoHideButton {`
`336`		`- qproperty-icon: url(:/ads/images/vs-pin-button-pinned-focused.svg),`
	`336`	`+ qproperty-icon: url(:/ads/images/vs-pin-button-pinned-focused.svg);`
`337`	`337`	`qproperty-iconSize: 16px;`
`338`	`338`	`}`
`339`	`339`