Jeremy Wootten

Results 1786 comments of Jeremy Wootten

There doesn't seem to be a way of cancelling an ongoing cloning process afaict.

I have a PR demonstrating use of Ggit.RemoveCallbacks to give more detailed info during cloning here #1608, but needs design work and I don't want to hold this PR.

This is going to happen for e.g. a pdf that consists mostly of blank paper that matches the color of folder background. As a work around you can use dark...

See https://github.com/elementary/terminal/issues/481 as a possible solution.

Current thinking is to retire the terminal plugin in favour of something more focused on building/running code. (see #736)

Terminal is no longer provided by a plug. This issue encompasses several focused issues. I'll create a project for Terminal related issues.

> I don't think the terminal pane should have all the features of the Terminal app Agree. But there are one or two things that could be useful especially if...

Need to create sub-issues related to each individual Terminal feature desired to be implemented.

Confirmed. Appears to be due to rapid focus out and focus in events caused by this process and the notification being send while focussed out. The notification is being withdrawn...