Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Incorrect linked file name in editor title bar #838

Closed
bpbecker opened this issue Jan 29, 2022 · 2 comments · Fixed by #840
Closed

Incorrect linked file name in editor title bar #838

bpbecker opened this issue Jan 29, 2022 · 2 comments · Fixed by #840
Labels

Comments

@bpbecker
Copy link

bpbecker commented Jan 29, 2022

Untitled

When editing a linked function, the source file name is displayed in the editor title bar. Then double-click on a function name (of an also-linked function) within the function being edited. The editor brings up the new function's code, but does not update the source file name in the editor title bar.

IDE:
Version: 4.4.3686
Platform: Win32
Date: 2022-01-28 09:34:33 +0100
Git commit: e6c092e
Preferences:{
"connectOnQuit":"1",
"kbdLocale":"en_US",
"otherExe":"C:\Program Files\Dyalog\Dyalog APL-64 18.2 Unicode\dyalog.exe",
"selectedExe":"C:\Program Files\Dyalog\Dyalog APL-64 18.2 Unicode\dyalog.exe"
}

Interpreter:
Version: 18.2.45154
Platform: Windows-64
Edition: Unicode/64
Date: Jan 27 2022 at 21:15:29

@bpbecker bpbecker added the bug label Jan 29, 2022
@e9gille
Copy link
Contributor

e9gille commented Feb 17, 2022

I just managed to replicate this, but it wasn't trivial to replicate. This seems to happen only when the available space for tab buttons is in a certain range (too small and it renders horribly, spanning 2 rows of text in the tab button, large enough and it shows the correct button).
I'll see if I can figure out where it goes wrong, but it's likely in the GoldenLayout tool, so might be a bit hairy.

@e9gille
Copy link
Contributor

e9gille commented Feb 17, 2022

Found a solution, will post a fix asap.

@e9gille e9gille linked a pull request Feb 17, 2022 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants