Skip to content

Conversation

VladimirFokow
Copy link
Collaborator

@VladimirFokow VladimirFokow commented Oct 23, 2024

How do you feel about these additions?

  • added to package.xml - the "when" conditions
  • added the description to readme (using the F5 -> reload window workflow to develop the extension)


---

Alternative:
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Let's combine this alternative with my OG instructions, they are quite similar

Copy link
Collaborator Author

@VladimirFokow VladimirFokow Oct 23, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes!
Could you please combine them?
I don't know how you'd like your part integrated with mine


[Alternative](https://code.visualstudio.com/api/get-started/your-first-extension):

- open `src/extension.ts`
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I actually didn't know about this! Thx this has improved my workflow <3

"key": "ctrl+' ctrl+e",
"mac": "cmd+' cmd+e",
"when": "editorTextFocus"
"when": "(editorTextFocus || terminalFocus) && editorLangId == 'python'"
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sure, let's do it. You don't think it is confusing as to "which line is active" in the og python file when the terminal is active?

Copy link
Collaborator Author

@VladimirFokow VladimirFokow Oct 23, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

well, if a user is using a shortcut when the terminal is active,
the user probably remembers the line, right?

(Otherwise the user wouldn't be lazy to select the line in the editor)

@bhoov bhoov merged commit 48d4a81 into Manim-Notebook:main Oct 23, 2024
@VladimirFokow VladimirFokow deleted the some-improvements branch October 23, 2024 08:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants