Mike Pilgrem

Results 73 comments of Mike Pilgrem
trafficstars

Understood. When I have a moment, I'll revisit https://github.com/judah/haskeline/pull/126 accordingly.

It turns out my optimisim at https://github.com/judah/haskeline/issues/130#issuecomment-1216788939 was unfounded. The underlying Win32 API `GetVersionEx` functions do not, in fact, return the version of Windows on modern Windows. See: https://docs.microsoft.com/en-us/windows/win32/api/sysinfoapi/nf-sysinfoapi-getversionexw. On...

When I have another moment, I'll see if I can add [`IsWindowsVersionOrGreater`](https://docs.microsoft.com/en-us/windows/win32/api/versionhelpers/nf-versionhelpers-iswindowsversionorgreater) to `Win32`. For 'ANSI' codes, you would need something more fine grained than `IsWindows10OrGreater`.

Actually, `IsWindowsVersionOrGreater` is not fine-grained as all versions of Windows 10 are major 10, minor 0. I don't know if `haskeline` has the appetite to either depend upon, or copy,...

I have modified #126 to use the same logic as the `ansi-terminal` package to detect whether the Windows terminal is ANSI-capable or not. However, I cannot test on legacy Windows...

What is HSpec's GHC support philosophy? Perhaps it can be framed as: 'as long as possible but at least X years from the date of release, subject to being no...

I can confirm that Hackage does support Google Chrome. My version of Edge is 'Version 105.0.1343.42 (Official build) (64-bit)' (which claims to be up to date). Edit: I think that...

@ysangkok, many thanks - I will investigate. My laptop screen is 1920x1080 with 'Scale' 150% (the recommended setting). If I change the Zoom in Edge from 100% to 90% or...

It does look likely to be some strange Edge bug. At Edge Zoom 100%, I have both the `hackage.css:404` and the 'wrong' render:

I suspect there is no fix in `gi-gtk`. I published the issue here because I thought it might help other Windows users who experienced it to understand the likely cause....