Stream: ideas

Topic: important part of Tip in bold?

view this post on Zulip Anton (Jul 29 2024 at 18:08):

I'd like to mark the important part of a tip in bold. We have several tips with 3-5 lines of text and I think marking the important parts is preferable compared to a uniform block of text. It also helps us think about what's important when writing the error. Anyone disagree?

Example:
type mismatch with tip

view this post on Zulip Johan Lövgren (Aug 09 2024 at 18:12):

I like it :+1:

Last updated: Jun 16 2026 at 16:19 UTC