File tree Expand file tree Collapse file tree
src/SharpIDE.Godot/Features/CodeEditor Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -577,7 +577,7 @@ public override void _GuiInput(InputEvent @event)
577577 }
578578 if ( @event . IsActionPressed ( InputStringNames . Copy ) )
579579 {
580- if ( _symbolInfoRichTextLabel is not null )
580+ if ( _symbolInfoRichTextLabel is not null && _symbolInfoRichTextLabel . GetSelectionFrom ( ) is not - 1 )
581581 {
582582 var selectedText = _symbolInfoRichTextLabel . GetSelectedText ( ) ;
583583 if ( ! string . IsNullOrEmpty ( selectedText ) )
@@ -586,7 +586,7 @@ public override void _GuiInput(InputEvent @event)
586586 DisplayServer . ClipboardSet ( selectedText ) ;
587587 }
588588 }
589- else if ( _diagnosticInfoRichTextLabel is not null )
589+ else if ( _diagnosticInfoRichTextLabel is not null && _diagnosticInfoRichTextLabel . GetSelectionFrom ( ) is not - 1 )
590590 {
591591 var selectedText = _diagnosticInfoRichTextLabel . GetSelectedText ( ) ;
592592 if ( ! string . IsNullOrEmpty ( selectedText ) )
You can’t perform that action at this time.
0 commit comments