Jeremy Baxter
Jeremy Baxter
Really awesome to see you're back :)
> Yes, dub supporting installation has been considered plenty. > > Basically, dub shouldn't handle installation, it's an OS specific thing, that would require a lot of integration (RPATH for...
Hi Antony, have you tried reinstalling the plugin? Perhaps completely removing the "addons" directory and reinstalling the addon would help.
To remove the dependency on libdl, remove line 15 of dub.json. If you are still encountering this issue, that is. ;)
Well I originally tried to implement #2833 (dim all old serverlist entries on refresh) multiple times, but I had a few problems and I just gave up in the end....
Are you saying that it would be alright to just show the old list until the new list fully loads?
Okay I'll try working on that later, thanks
Is this still valid? I'm not experiencing lag on refreshing or missing servers. Edit: Nevermind, I do have missing servers :\
@daurnimator Never used that library before but sounds good.
I use Emacs now, works much better out of the box