Mike Sawka

Results 108 comments of Mike Sawka

Ah, maybe we're caching the URL somehow when the menu is created? That's weird... will try to reproduce it and fix. Thanks for posting.

just reviewing bugs and came across this again. was able to repro it. the "problem" is that we do copy-on-select in the terminal w/ a debounce. so the second time...

As that is a native context menu, we are not able to support this feature. However, we'll likely create a "theme picker" widget at some point to do exactly this.

Just want to clarify. So currently the double click will select everything to a whitespace or quote boundaries. You're looking to be able to add alternate delimiters (such as ":")...

we implement the "OSC 7" escape sequence to save/restore the current directory. a bunch of prompt libraries add that to the prompt by default, or i can help you with...

just pushed a fix for this to main... #2129

closed due to age

closed due to age