Victor Goff

Results 235 comments of Victor Goff

I think the ping is a good idea. The reminder that it is there waiting for them to do what they want.

It is not only off by one, either: ![Screenshot from 2022-07-30 19-09-20](https://user-images.githubusercontent.com/16747/182003109-8a1e8343-2298-40e9-b627-243e1d6d282d.png)

I wonder if this is related to resetting the track, at least sometimes?

@Stargator That is only for the code area though, a dark theme for the entire thing would be nice. But @LoadingBG if you would like a more fully dark theme...

> a trivial dark mode shouldn't be paywalled. We agree, and the trivial dark mode is not paywalled. I just created an account to test this as well, and I...

> Perhaps since I don't _have_ the fancy darkmode available, this switch could link directly to the preferences theme settings where the different options are available? Since I found "switch...

I did not see what was attached, but I wonder if you reduce the font size, or drag the comment window to resize it if it reappears.

> Has this been linked to students actually being confused? The semantic difference seems so small to me, I wouldn't want to spend time and energy on a non-issue. Yes,...

> In general, I agree with you, but has this specific case been linked to students actually being confused? This specific case? I listed 10, and that covers 65 languages,...

> @kotp Could you update the status of this issue to Close if the related PR addresses the original problem? I could, but there are still more to address. Some...