gknauth
2021-7-29 11:42:07

I use DrRacket on a 4K monitor and haven’t seen the problem (yet).


soegaard2
2021-7-29 11:53:18

@jagen315 At some point there were a problem on Linux only with hipdi screen, where a non-integer scaling was used. evdubs wrote:


soegaard2
2021-7-29 11:53:51

So, close DrRacket. Set PLT_DISPLAY_BACKING_SCALE=1 in the terminal, then start DrRacket from the same terminal.


soegaard2
2021-7-29 11:53:59

If you see an improvement report back.


soegaard2
2021-7-29 11:54:40

I can’t remember whether this has been fixed in later versions of DrRacket - so just in case try version 8.2.


massung
2021-7-29 17:01:13

Not sure where to put this (a github issue?), but it’d be nice if generator was - by default in the preferences - indented lambda-like. :wink:


samth
2021-7-29 17:42:39

That would be a DrRacket issue


samth
2021-7-29 17:42:52

(in terms of where to file)


spdegabrielle
2021-7-29 17:45:00

@massung Does adding generator to Prefrences>Editing>Indenting>Lambda-like Keywords in DrRacket work?


massung
2021-7-29 17:45:15

it works fine.. hence the “by default” :slightly_smiling_face:


spdegabrielle
2021-7-29 17:45:53

Ahh the trick is finding where the drracket preferences are in the drracket repo?


spdegabrielle
2021-7-29 18:00:04

massung
2021-7-29 18:00:28

ok, ty


sorawee
2021-7-29 18:25:57

@robby when I want to change the name of a #lang in DrRacket, I always use S-exp navigation (alt-shift-left) so that I can delete the original lang. But the selection includes “#lang” too. Is there a reason why it’s designed like that?

I could use ctrl-shift-left instead, but this will select by word, meaning for #lang scribble/manual, it will only select “manual”


robby
2021-7-29 20:07:03

Uhhh… I think it is because of how the module-language tokenizer tokenizes the #lang at the front.


robby
2021-7-29 20:07:10

(for sexp motion)


robby
2021-7-29 20:07:13

@sorawee ^


robby
2021-7-29 20:07:32

See syntax-color/module-lexer (the library)


sorawee
2021-7-29 20:07:49

Do you see any improvement possibility?


robby
2021-7-29 20:07:52

If you wanted to change other key strokes (like word movement) that’s just in the framework or possibly in racket/gui depending on the keystroke.


robby
2021-7-29 20:08:08

Many things can be improved! I don’t see why this wouldn’t be one :stuck_out_tongue_winking_eye:


robby
2021-7-29 20:08:39

I guess that, in this case, the lexer shoudl return two tokens and it is currently returning one?


robby
2021-7-29 20:08:45

I’m not sure — that’s just a guess.


robby
2021-7-29 20:09:10

The code that takes the lexing information and figures out the keybindings is in the framework


robby
2021-7-29 20:09:18

framework/private/racket


sorawee
2021-7-29 20:09:36

Yeah, this is also related to the issue that @greg has earlier about make-meta-reader


robby
2021-7-29 20:09:38

Let me know if that’s not enough vague hints. I have many vague hints lying around here at home ….


niko
2021-7-30 02:52:20

@niko has joined the channel