![]() line-numbers mixin Specifically, when both are turned on, the #lang line now shows the line number and shifts the "#lang ..." over to the same spot where it is drawn when the first line is natually visible Also, rackety |
||
---|---|---|
.. | ||
private | ||
collapsed-snipclass-wxme.rkt | ||
collapsed-snipclass.rkt | ||
comment-snip.rkt | ||
decorated-editor-snip.rkt | ||
doc.txt | ||
framework-sig.rkt | ||
framework-unit.rkt | ||
framework.rkt | ||
gui-utils.rkt | ||
keybinding-lang.rkt | ||
main.rkt | ||
preferences.rkt | ||
splash.rkt | ||
test.rkt |