Commit 397b390
committed
Auto merge of rust-lang#75976 - GuillaumeGomez:help-popup, r=jyn514
Improve help popup
Fixes rust-lang#75623.
The second commit is just a slight improvement: the help popup won't be created until someone presses "?" or ESC. Not a big improvement in itself but considering the low amount of code required, I think it was worth the shot.
r? @jyn5141 file changed
+5
-4
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
344 | 344 | | |
345 | 345 | | |
346 | 346 | | |
| 347 | + | |
347 | 348 | | |
348 | 349 | | |
349 | 350 | | |
| |||
2807 | 2808 | | |
2808 | 2809 | | |
2809 | 2810 | | |
2810 | | - | |
2811 | | - | |
| 2811 | + | |
| 2812 | + | |
2812 | 2813 | | |
2813 | 2814 | | |
2814 | 2815 | | |
| |||
2828 | 2829 | | |
2829 | 2830 | | |
2830 | 2831 | | |
| 2832 | + | |
| 2833 | + | |
2831 | 2834 | | |
2832 | 2835 | | |
2833 | 2836 | | |
2834 | 2837 | | |
2835 | | - | |
2836 | | - | |
2837 | 2838 | | |
2838 | 2839 | | |
2839 | 2840 | | |
| |||
0 commit comments