On Wed, 7 Jun 2023 17:22:23 GMT, Jeremy wrote:
> What is the fate of auto-closed PRs?
@mickleness You can reopen the PR with the
[`/open`](https://wiki.openjdk.org/display/SKARA/Pull+Request+Commands#PullRequestCommands-/open)
command.
> That is: as long as I don't delete this branch in my re
On Tue, 11 Apr 2023 04:47:04 GMT, Jeremy wrote:
>> The original write-up contains two complaints:
>> 1. The window is opaque, so pixels that should be transparent are black.
>> 2. The window is the wrong resolution. On a 200% resolution monitor it
>> renders as if it were 100% (so it looks pixel
> The original write-up contains two complaints:
> 1. The window is opaque, so pixels that should be transparent are black.
> 2. The window is the wrong resolution. On a 200% resolution monitor it
> renders as if it were 100% (so it looks pixelated).
>
> I recommend splitting this up into separat
