mflatt
2017-10-23 12:44:23

@samth This is with the current git master and not the v6.11 pre-release or earlier, right? William is having similar problems: https://github.com/racket/gui/issues/80 I haven’t investigated enough, yet


samth
2017-10-23 12:46:38

This is indeed with git master


samth
2017-10-23 12:46:49

I haven’t tried the prerelease


mflatt
2017-10-23 13:03:45

I’ve pushed a possible repair


samth
2017-10-23 13:48:46

@jeapostrophe would it make sense to just remove this package? https://pkgs.racket-lang.org/package/qudongfang


jeapostrophe
2017-10-23 16:11:59

@samth done


samth
2017-10-23 16:24:30

@mflatt so far, things seem to be working with that repair — thanks for the quick fix!


samth
2017-10-23 16:25:14

Question — how do I build the racket web pages, after the conversion to pollen? The instructions in the readme don’t seem to work


ben
2017-10-23 22:07:38

anyone know how to insert latex symbols in DrRacket on windows?


ben
2017-10-23 22:08:35

I tried, \tauC-\ and that didn’t work. Searched the help menu and saw ~cm:\ but I don’t know what that means.


zenspider
2017-10-23 22:22:44

@ben I just did \Downarrow and then C-\ and it worked. So I think that means “either control or meta backslash”


zenspider
2017-10-23 22:23:33

I found “3.3.8 LaTeX and TeX inspired keybindings” in the doco searching for latex


zenspider
2017-10-23 22:24:04

\Tau C-\ works too


ben
2017-10-23 22:32:23

ok thanks, I emailed this to the person who’s having trouble. Will let you know if it worked :slightly_smiling_face:


samth
2017-10-23 22:33:01

Anyone here going to SPLASH in Vancouver?


ben
2017-10-23 22:38:28

wooo success! here’s the play-by-play:


ben
2017-10-23 22:38:28

Just tried \Tau with c:, m: and neither worked?


ben
2017-10-23 22:38:38

Oh. \Downarrow with m: works


ben
2017-10-23 22:38:46

Ok yes m: is the way to go. Thanks a lot!!!!!


zenspider
2017-10-23 22:59:12

I am!


zenspider
2017-10-23 23:00:26

it’s been a long time since I’ve been, but there’s usually “camp smalltalk” with Don and others perma-camped there… we should do the same for racket. :stuck_out_tongue:


apg
2017-10-24 00:03:50

SPLASH looks crazy


apg
2017-10-24 00:03:58

so many talks and things.


samth
2017-10-24 01:30:24

@zenspider cool, I’ll see you there (I get in tonight late)