Zulip Chat Archive
Stream: new members
Topic: showing parentheses
Patrick Thomas (Jul 02 2022 at 20:59):
Is there an option that can be set to ignore precedence in the infoview and use parentheses instead?
Reid Barton (Jul 02 2022 at 21:02):
apparently set_option pp.parens true
Patrick Thomas (Jul 02 2022 at 21:04):
Cool. Is there a list of options somewhere? How did you find that?
Reid Barton (Jul 02 2022 at 21:04):
zulip history search :upside_down:
Reid Barton (Jul 02 2022 at 21:06):
you can also use autocomplete after set_option pp.
Patrick Thomas (Jul 02 2022 at 21:08):
Is there a list that pp is included in?
Patrick Thomas (Jul 02 2022 at 21:10):
That is, how did you know to use pp?
Reid Barton (Jul 02 2022 at 21:12):
All the pretty-printer options are under there
Patrick Thomas (Jul 02 2022 at 21:14):
I'm sorry, I meant what other things are there options for, besides the pretty printer?
Kevin Buzzard (Jul 02 2022 at 21:16):
#help options
Patrick Thomas (Jul 02 2022 at 21:17):
Nice! Thank you!
Last updated: Dec 20 2023 at 11:08 UTC