Logic jump UI enhancement

[code-explorer786]

If your pull request is not translation or serverlist-related, read the list of requirements below and check each box:

• I have read the contribution guidelines.
• I have ensured that my code compiles, if applicable.
• I have ensured that any new features in this PR function correctly in-game, if applicable.
  • I have formally proven that the methods used are valid.
  • I have ensured that this is a good enough implementation.

Warning

I often reorder my commits and force push to this branch, so be careful while pulling from it!

Note

I am not that good in computer science.
If anyone has a better method¹, I'd recommend discussing it here, in general-programming, or make a competing PR.
I got the not-in-#development treatment, so I can't really access the #pulls channel right now.
I'd love to hear your ideas!

Overview

The goal of this PR is to improve jump UI.
As such, this competes with @MEEPofFaith's #9925 and Foo's Client's implementation.

This PR adds in three features²:

• Dynamic Jump Heights: Jump curves now adjust themselves to be more legible.
• Colored Jumps: Jump curves are colored based on their destination. (Contributed by @Ilya246)
• Trapezoidal Jumps: Jump curves now look trapezoidal to improve performance³ (Suggested by @Arkanic)

Tested feature combinations

Dynamic Jump Heights	Colored Jumps	Trapezoidal Jumps	Result
❌	❌	❌	✔️ Works as intended.4
❌	❌	✔️	❌ Jumps merge.
❌	✔️	❌	✔️ Works as intended.4
❌	✔️	✔️	❌ Jumps merge.
✔️	❌	❌	✔️ Works as intended.4
✔️	❌	✔️	✔️ Works as intended.
✔️	✔️	❌	✔️ Works as intended.4
✔️	✔️	✔️	✔️ Works as intended.

I think fixing Trapezoidal Jumps and Colored + Trapezoidal Jumps implies reimplementing Dynamic Jump Heights in some form or another.
I don't think there's an alternative, but I could make Trapezoidal Jumps require Dynamic Jump Heights.

Footnotes

1. With both Dynamic Jump Heights and Trapezoidal Jumps, I'd estimate the complexity determining jump heights is about O(k^2 + n) where k is the number of unique end destinations and n the number of jump curves. ↩

2. I've decided that these three features belong in one PR because they complement each other.
   Still, I've made them configurable in separate settings anyway. ↩

3. It improves both graphical rendering of the jumps and the implementation of Dynamic Jump Heights. ↩

4. Runs slower on logic with a lot of jumps.
   (I removed maxJumpsDrawn) ↩ ↩² ↩³ ↩⁴

[Twcash]

I like

[BlueTheCube]

jump color based on jumping to instruction color?

[code-explorer786]

jump color based on jumping to instruction color?

It's based on the destination's index/line number.

https://github.com/code-explorer786/Mindustry/blob/0d2d406f4dd3376f142d62e36555f780a95477e2/core/src/mindustry/logic/LCanvas.java#L318

                    int idx = e2.button.to.get().index;
                    if(dragging != null && idx >= dragging.index) idx += 1;
                    e2.button.defaultColor.set(jumpColors[idx]);
                });
            }

[way-zer]

If you like, you can merge some from this commit TinyLake@b7be5a3.

I implemented the culling support for jumping, getting better performance.