Igor Montagner
Igor Montagner
@jeremypw Unfortunately it seems `get_server_time` is essential. Apparently `present_with_time` needs a timestamp to solve focus stealing and the only timestamp I passed to it that worked was this one. Using...
I'm working on this. I have a working prototype and will send a PR later when I finish cleaning the code.
I've decided to prototype this today. Some progress:  I would like suggestions on how to style the percentage display. It looks even worse in the other themes.
I'm working on this and should have a prototype by this week.
Just an update on this. Still missing default values, but basic editing works. 
I'm working on a Snippet functionality and having "Preserve Indent" (and its functions) in the main code base would be very convenient. Some of the code would be useful when...
Gnome builder has a similar open issue [here](https://gitlab.gnome.org/GNOME/gnome-builder/-/issues/1459) and Christian Hergert suggests to fix this in SourceView.
I have a working prototype on this and can send a PR in the next days. Right now it always opens the readme when opening a new project. Should this...
Working on it.
Well, at least my prototype is almost exactly equal to #1049 (except for the global search button). Thanks for the quick response. On Thu, Sep 23, 2021 at 5:11 AM...