Closed ja-he closed 8 months ago
Giving raw cursor control to individual editors does not work acrosss multiple ones; one may want to hide the cursor, another show it there, what happens depends on call order. bad.
the solution i envision is a manager class that knows who wants the cursor where and who wants to hide it:
will be resolved by #52
Giving raw cursor control to individual editors does not work acrosss multiple ones; one may want to hide the cursor, another show it there, what happens depends on call order. bad.