Hey,
I could commit the patch directly but as it is big I prefer suggesting it to you for
reading if anyone has the courage :)
The idea is to remove some code of the big jEdit class and handle the chained Buffer
and View list in separate classes.
With some changes we can use from modern JVM such as streams.
I know it might be slower than a chained list, but I think it's a problem of nanoseconds
and it can make the code much easier to read.
What do you think of the idea ?
Submitted | kpouer - 2020-04-06 16:52:52.945000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | None |
Resolution | None |
2020-04-06 18:18:02.028000 daleanson |
I like it. The patch applied cleanly. There are 4 deprecation warnings that weren't there before, all 4 are calls to jEdit._getBuffer. Should those be calls to bufferManager.getBuffer? I always worry about changes like this causing problems with plugins, I'll let you know if I see any issues. |
---|---|
2020-04-06 19:07:34.469000 kpouer |
In fact I was thinking a lot about deprecating all methods like getBuffer(), getActiveView()
& others and ask to use the new managers, it would help reducing the size of jEdit
class, but the problem is plugins, and the fact it is convenient to have all those
methods centralized in jEdit.
|
2020-04-07 00:57:00.430000 daleanson |
I agree about removing the deprecated methods at some point, the downside alternate (2.7Kio) |
2020-04-07 15:27:36.663000 kpouer |
If we have the sources of those plugins and the developper is not available I would be happy to take a look. |
2020-04-08 14:33:17.448000 kpouer |
In fact about the two deprecated calls to _getBuffer(), it would be easy to expose
the method in the BufferManager interface and call it, but I was not sure we want
to have 2 methods getBuffer and _getBuffer.
|
2020-04-11 07:55:10.542000 kpouer |
Hello,
bufferManager_2.patch (81.4Kio) |
2020-04-14 20:01:24.895000 kpouer |
I finally committed the patch.
|