The indentation guide covers the #lang line

racket / drracket

DrRacket, IDE for Racket

http://www.racket-lang.org/

Other

444 stars 93 forks source link

The indentation guide covers the #lang line #650

Closed shhyou closed 7 months ago

shhyou commented 7 months ago

Version: Racket: 8.11.0.3, DrRacket racket/drracket@2c9c89446fe672e21, GUI racket/gui@a4f3070aeb8fe986d
Description: the indentation guide lines covers the #lang line when the option "Always show #lang line in the Module language" is enabled.
Expected behavior: it might be more intuitive if the #lang line overlays the indentation guide lines.

shhyou commented 7 months ago

Potential fix: move L560 to L544-L545. https://github.com/racket/drracket/blob/0e9afeb0da1d7fbbf010bbdaf3515a2910fd56e7/drracket/drracket/private/unit.rkt#L542-L562

rfindler commented 7 months ago

Oh, that's a great idea! I was thinking of changing the mixin so that the first-line mixin knew about the indent-guides mixin explicitly, but I like this idea better.

rfindler commented 7 months ago

Thanks, I've pushed the fix here