Ellis Michael

This page has a bit more: https://wiki.haskell.org/Xmonad/Frequently_asked_questions#Problems_with_Java_applications.2C_Applet_java_console It appears that Xmonad is non-reparenting, and the Java GUI library doesn't properly recognize this fact. It also looks like a better version...

Hi, Asfar and Chris. Thanks so much for the offer to help! This is really something I want someone who's already done the labs and is familiar with the codebase...

Hi Guangda! Thanks for the PR! This is very cool. I'm absolutely willing to merge something like this in the future. So, a while back I did a bit of...

Having read through the code, I think this could probably be cleaner if we refactored `RunState` a bit. The network interface is based around polling for events for a specific...

I just uploaded a fix. The default action taken after the window is closed this way it 2GuiClose, not Gui2Close as it was set in the script.

No, it shouldn't be solved. I'll try tomorrow, but I'm sure CoqIDE would hang, too, if you actually tried to use firstorder. The issue is that firstorder is only ever...

In addition to a timeout, immediately halting all the tactics the proof tree is trying when the user selects a tactic might be a good idea.

Any progress on fixing this? We really need an option to disable these, or they should be completely disabled by default. I'm seeing constant spam when sharing video files.

Sure, I just thought that 10+ hours was definitely long enough to wait based on my experience with other apps and background refresh. I'll keep an eye on it and...

I think I have more info. I noticed this morning that my server has a couple log entries like this every hour or two. ``` {"reqId":"XXXXXXXXXXXXXXXX","level":2,"time":"2019-06-24T19:59:16+00:00","remoteAddr":"192.168.1.12","user":"--","app":"core","method":"GET","url":"\/index.php\/apps\/news\/api\/v1-2\/feeds","message":"Login failed: '(null)' (Remote IP:...