-
Notifications
You must be signed in to change notification settings - Fork 108
Fix multiconsole hyperlink support by tracking active sessions in MainThreadConsoleService
#8151
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
base: main
Are you sure you want to change the base?
Changes from 4 commits
0c1c768
f2f1e2d
a99a824
dee65a5
46c3915
96ef821
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -1529,14 +1529,14 @@ declare module 'positron' { | |
okButtonTitle?: string): Thenable<null>; | ||
|
||
/** | ||
* Get the `Console` for a runtime `languageId` | ||
* Get the active `Console` for a runtime `languageId` | ||
* | ||
* @param languageId The runtime language id to retrieve a `Console` for, i.e. 'r' or 'python'. | ||
* | ||
* @returns A Thenable that resolves to a `Console` or `undefined` if no `Console` for | ||
* that `languageId` exists. | ||
*/ | ||
export function getConsoleForLanguage(languageId: string): Thenable<Console | undefined>; | ||
export function getActiveConsoleForLanguage(languageId: string): Thenable<Console | undefined>; | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. This is clearer, but do you think there's any chance someone is using the current name? There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Not that I can see https://github.com/search?q=getConsoleForLanguage&type=code |
||
|
||
/** | ||
* Fires when the width of the console input changes. The new width is passed as | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think your change is fine, but since we have an
RSession
, we could do this w/o any additional accounting by having an API to get a console by session ID instead of trying to track the active console