![]() Avoids a gray box at the bottom of the GRacket REPL window on startup, or in DrRacket when a horizontal scroll is automatically removed due to, say, hiding a interactions window positioned to the right of the definitions window (where the definitions content is narrower than the whole window but wider than half). Merge to v6.0 original commit: 836f4cab20c9ac4e8084a0c9f97e10e82533809f |
||
---|---|---|
pkgs |