github/SharpIDE
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

show editor hover info without editor focus

Browse Source
This commit is contained in:
Matt Parker
2026-01-28 00:37:20 +10:00
parent 2251e1efac
commit f31b9e1fcc
2 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/SharpIDE.Godot/Features/CodeEditor/SharpIdeCodeEdit.cs
View File

@@ -79,7 +79,6 @@ public partial class SharpIdeCodeEdit : CodeEdit
SymbolValidate += OnSymbolValidate; SymbolValidate += OnSymbolValidate;
SymbolLookup += OnSymbolLookup; SymbolLookup += OnSymbolLookup;
LinesEditedFrom += OnLinesEditedFrom; LinesEditedFrom += OnLinesEditedFrom;
MouseEntered += () => GrabFocus(true); // fixes symbol hover not appearing when e.g. solution explorer is focused. Same as godot editor
GlobalEvents.Instance.SolutionAltered.Subscribe(OnSolutionAltered); GlobalEvents.Instance.SolutionAltered.Subscribe(OnSolutionAltered);
SetCodeRegionTags("#region", "#endregion"); SetCodeRegionTags("#region", "#endregion");
//AddGitGutter(); //AddGitGutter();

3
src/SharpIDE.Godot/Features/CodeEditor/SharpIdeCodeEdit_SymbolHover.cs
View File

@@ -18,8 +18,7 @@ public partial class SharpIdeCodeEdit
// This method is a bit of a disaster - we create an additional invisible Window, so that the tooltip window doesn't disappear while the mouse is over the hovered symbol // This method is a bit of a disaster - we create an additional invisible Window, so that the tooltip window doesn't disappear while the mouse is over the hovered symbol
private async void OnSymbolHovered(string symbol, long line, long column) private async void OnSymbolHovered(string symbol, long line, long column)
{ {
if (HasFocus() is false) if (Visible is false) return; // This should never return false, as this signal should not be emitted when this SharpIdeCodeEdit is not the selected tab, ie the control is not visible
return; // only show if we have focus, every tab is currently listening for this event, maybe find a better way
var globalMousePosition = GetGlobalMousePosition(); // don't breakpoint before this, else your mouse position will be wrong var globalMousePosition = GetGlobalMousePosition(); // don't breakpoint before this, else your mouse position will be wrong
var lineHeight = GetLineHeight(); var lineHeight = GetLineHeight();
GD.Print($"Symbol hovered: {symbol} at line {line}, column {column}"); GD.Print($"Symbol hovered: {symbol} at line {line}, column {column}");