27 Jan
2023
27 Jan
'23
2:37 p.m.
Am I missing something on how to edit the index numbers?
Yes, you're missing the step where you click on the index in the GUI and change it to something sensible. However, your query made me realize that this was broken back in December and nobody noticed until now! I imagine maybe you clicked a couple (thousand) times on the index thinking maybe you could change it, and assumed you were missing something else. My apologies :)
Can you file a bug? I'll get a fix cooked up for tomorrow's build.
Thanks!
--Dan