Triangle before proof not correctly shown if `showmore` is enabled
Opened this issue · 1 comments
TL;DR
In project PFR and alike, the triangle before a proof shows ▼/▶ for proof collapsing/expansion, which is the opposite of how one expects them, where ▼ should indicate proof expansion. Also, it's the opposite of project LTE.
Reported by @kbuzzard .
Details
What's expected
In LTE ( code, rendered ), showmore
is NOT enabled, the triangle before proof is shown as ▼, and the proof is expanded by default, so ▼ indicates proof expansion correctly.
Afterward, clicking on the triangle works as expected, the triangle toggles between ▼ and ▶ , indicating the proof is expanded and collapsed, respectively.
![image](https://private-user-images.githubusercontent.com/64258/288953473-2fd527c5-47f8-46b5-b66f-706ba0d9ed18.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MjU2NjEwMTQsIm5iZiI6MTcyNTY2MDcxNCwicGF0aCI6Ii82NDI1OC8yODg5NTM0NzMtMmZkNTI3YzUtNDdmOC00NmI1LWI2NmYtNzA2YmEwZDllZDE4LnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNDA5MDYlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjQwOTA2VDIyMTE1NFomWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPTgwNTdhOWZjYmVhZTc1MzlmMzI4Mjk0ZTAwOGFlZWEwNWVlZWM0ODFhODA5Zjk0MjZjMTk0ZDljNDY2NmExMjkmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0JmFjdG9yX2lkPTAma2V5X2lkPTAmcmVwb19pZD0wIn0.DNpW6X5rUCzNz7JtX_8wS33O0uev5szq3A9VtiRo6o0)
What went wrong
In PFR ( code, rendered ), showmore
is enabled, besides the eye +/- icons appear below and can control the level of details to show, by default, it collapses proofs, but the triangle before proof is still shown as ▼, so ▼ is not correctly corresponding to the proof collapsing status but the opposite.
![image](https://private-user-images.githubusercontent.com/64258/288953552-0d14c7fb-0a50-4c8c-8577-2e92f9c02d26.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MjU2NjEwMTQsIm5iZiI6MTcyNTY2MDcxNCwicGF0aCI6Ii82NDI1OC8yODg5NTM1NTItMGQxNGM3ZmItMGE1MC00YzhjLTg1NzctMmU5MmY5YzAyZDI2LnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNDA5MDYlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjQwOTA2VDIyMTE1NFomWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPWI5YjJjMjViNWUyM2IwNjRiYTZjZWU2ODY3YTY4MDU1YTFhMWYwMjc5ZjEwYmE1ZTg3YjBiNDhlMTk2YWFlMGYmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0JmFjdG9yX2lkPTAma2V5X2lkPTAmcmVwb19pZD0wIn0.RidWoYWgGWhCqTN0imCsma9bLMZmHIP1umRuhwJ-dJk)
Afterward, clicking on the triangle will never works as expected, it's always the opposite, unless one click on the eye +/- icon odd times, then this would be reversed and fixed.
Cause
The clicking of the triangle and the show more
handles the triangle states separately, causing the confliction, plus they have different defaults.
Workaround
Don't enable showmore
until this issue is fixed: In web.tex
Change the line like
\usepackage[showmore, dep_graph, project=../../]{blueprint}
to
\usepackage[dep_graph, project=../../]{blueprint}
Thanks for the report. I noticed something was weird but never bothered because this convention always seemed unclear to me. It should be fixed by d336038.