! Tweak style of buttons on symbol list

wmjordan · Jun 26, 2023 · 88d9aa2 · 88d9aa2
1 parent 7f84301
commit 88d9aa2
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 8 deletions.
diff --git a/Codist/Controls/SymbolMenu.cs b/Codist/Controls/SymbolMenu.cs
@@ -29,17 +29,14 @@ public SymbolMenu(SemanticContext semanticContext, SymbolListType listType) : ba
 						new Separator()
 					}
 			};
-			HeaderButtons = new StackPanel {
-				Orientation = Orientation.Horizontal,
-				Children = {
-					new ThemedButton(ThemeHelper.GetImage(IconIds.TogglePinning), R.CMD_Pin, TogglePinButton),
+			HeaderButtons = new ThemedControlGroup()
+				.AddRange(
+					new ThemedToggleButton(IconIds.TogglePinning, R.CMD_Pin, TogglePinButton),
 					new ThemedButton(IconIds.Close, R.CMD_Close, () => {
 						var a = _ExternalAdornment;
 						a.RemoveAndDispose(this);
 						a.FocusOnTextView();
-					})
-				}
-			};
+					}));
 			MouseLeftButtonUp += MenuItemSelect;
 			_ExternalAdornment.MakeDraggable(this);
 		}
@@ -59,7 +56,7 @@ public override void Dispose() {
 		}
 
 		void TogglePinButton(object sender, RoutedEventArgs e) {
-			((ThemedButton)e.Source).Content = ThemeHelper.GetImage((IsPinned = !IsPinned) ? IconIds.Pin : IconIds.Unpin);
+			((ThemedToggleButton)e.Source).Content = ThemeHelper.GetImage((IsPinned = !IsPinned) ? IconIds.Pin : IconIds.Unpin);
 		}
 
 		public void Show(UIElement relativeElement = null) {

diff --git a/Codist/Controls/ThemedButton.cs b/Codist/Controls/ThemedButton.cs
@@ -124,6 +124,12 @@ public ThemedToggleButton(int imageId, string toolTip) {
 			this.ReferenceCrispImageBackground(EnvironmentColors.MainWindowActiveCaptionColorKey);
 		}
 
+		public ThemedToggleButton(int imageId, string toolTip, RoutedEventHandler changedHandler)
+			: this(imageId, toolTip) {
+			Checked += changedHandler;
+			Unchecked += changedHandler;
+		}
+
 		public TextBlock Text {
 			get => _Text;
 			set {