Exception names with backticks are incorrectly displayed
See original GitHub issueConsider the following code:
exception SomeError of ``thing with space``: string
The tooltip is displayed like this: It looks strange, the backticks should be preserved in the display name.
Issue Analytics
- State:
- Created a year ago
- Comments:5 (5 by maintainers)
Top Results From Across the Web
Cannot use Kotlin backticked method names in androidTest
In tests (and only in tests), it's acceptable to use method names with spaces enclosed in backticks. (Note that such method names are ......
Read more >Class names with backticks containing symbols ... - YouTrack
Subtask of 1 issue (1 unresolved) A small investigation after KT-17422 showed that class names with backticks containing symbols "*", "?" fail on...
Read more >[#SPARK-39783] Column backticks are misplaced in ...
The proposed / existing column names are not correctly wrapped in backticks: Seq((0)).toDF("the.id") .select("the.id").show() ...
Read more >What is the guideline about using code backticks? - TeX
I noticed that using inline code tags (`code`) is commonly use for names of packages or software (among other uses). But we could...
Read more >One (Perhaps Surprising) Reason Why I may Silently ...
This three-backtick problem is only one of them. Other common problems include: Do not use verbatim code blocks, e.g., R comments are displayed ......
Read more >Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start FreeTop Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
Top GitHub Comments
The main thing here is consistency - we should do whatever we do for values, functions, methods, types, union cases, record fields.
My understanding from the deep code review we did is that we add back ticks for tool tips in these cases, so we should make this case consistent and then deal with alternative choices systematically in a separate issue
I’d push back on that - I think that tooltip formatting looks perfectly fine as is. Double backticks in the tooltip would be more visual noise (but it would align with the code written, I’ll grant you that).