João Moreno
João Moreno
How long (time) is the GIF and what's the pixel dimension of what you're recording? 🙈
Which browser are you on? If you open devtools (F12), do you see any error?
You have disallowed gifcap from accessing the screensharing API which is necessary for it to work. Check the icons on the right side of the URL bar.
:+1:
Yesterday I also tried reading a file and expected it to work. I also found a similar approach: ```py import pyodide pyodide.open_url('https://...').getvalue() ```
I have concerns about injecting such a powerful token by default, even if behind a setting. What if the core GitHub extension would contribute a custom terminal `Create GitHub terminal`...
Can you show me a screenshot of the broken icon?
Can you reproduce with other file extensions? Eg `.js`?
When you're editing a file in git, there are three versions of it: - HEAD - Index - Working tree So, there are two possible diffs to show: - HEAD...
Actually, because IntelliJ manages to do this, they actually end up having a confusing experience. In this case, one of the changes is staged in the index, the other isn't....