Conversation started Jun 16, 2022 at 13:34.
yo'
yo'
Jun 16, 2022 13:34
Are you using Overleaf? If so, are you in the Beta program? If no, you should be! :D
3
user image
4
Jun 16, 2022 13:47
@FaheemMitha no I didn't as I didn't see a big advantage of showing yet another example (and there are many l3keys examples on the page), and the l3keys example would've been identical to the expkv-def one (modulo the different key defining syntax, and the expl3 naming conventions).
Jun 16, 2022 13:58
@yo' ooh <3
Jun 16, 2022 14:50
@yo' another of those lucky coincidences: back on 6...6 series after an excursion via 6...9
@yo' ooh it works, once I had worked out how to make a coding error:
@DavidCarlisle ooh
Jun 16, 2022 15:09
@DavidCarlisle they should use for the button "Disable" a light gray tiny font on a lighter gray background.
Jun 16, 2022 15:31
@yo' @PauloCereda I corrected the css in your compile options menu
@UlrikeFischer ... and a couple of dozen confirmation queries "Are you sure?" -- "Are you really, really sure?" -- ... -- "You will hurt a lot of cute ducks if you do this!"
@DavidCarlisle ooh
 
2 hours later…
Jun 16, 2022 17:17
@DavidCarlisle I suggest "Disabling it may annoy the hell out of your advisor".
4
Jun 16, 2022 17:59
@AlanMunn or "Pay $5 to disable it" :)
@PauloCereda Pay me $5 to disable it. :)
@AlanMunn ooh
Jun 16, 2022 18:22
"... or when the compilation is finished."
 
2 hours later…
yo'
yo'
Jun 16, 2022 20:31
@AlanMunn we acutally have the other fear: enabling it for your colleagues would drive them crazy!
@yo' Ah, you mean the ones who are not too LaTeX savvy?
yo'
yo'
@AlanMunn yep
Jun 16, 2022 20:46
@yo' Yes, I can definitely see that too. Errors are definitely the think that most trip up new users.
@yo' Would Overleaf have got to 10 million using -halt-on-error I doubt it. :)
 
9 hours later…
Jun 17, 2022 05:30
@UlrikeFischer I've put in another abstract to talk about keyval
yo'
yo'
@AlanMunn it's sort of Catch 22: You can't teach users the good habits if you't have them. But if you teach them good habits, they freak out and not use your product.
 
Conversation ended Jun 17, 2022 at 5:30.