Completion Plugin should have a way to select which completion provider it uses on a mode-by-mode basis.
Also, it should allow the user to select jEdit's built-in completion action as one of its choices.
Discussion
Anonymous
-
2011-07-23
I'm not sure about this. jEdit users have always enjoyed the built-in completion functionality. A long time ago the completions were taken from the current buffer only, but for a while now they can be taken from any of the open buffers.
Users are already using this feature. Do we want to make it disappear for them unless they install the Completion plugin?
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Thinking about it some more, perhaps the built-in action should be renamed to "show completions", and the completion plugin should override it and provide other completion services.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
--- old+++ new@@ -1,11 +1,5 @@-jEdit should not have any built-in completion service, it would be nice if we all used the Completion plugin instead. So in particular, the opton "complete words from all open buffers" checkbox-\(which says default is to limit search to currently visible buffers\) is a weird option. -Is the default that I still get completions but only in currently visible buffers?-If I want to disable completions from core, do I do that?--This option should be taken out of core and something that is more clear should be put into the Completion plugin in its place.--I sometimes get popups in the wrong place and want to know where all my completion sources are.+Completion Plugin should have a way to select which completion provider it uses on a mode-by-mode basis.+Also, it should allow the user to select jEdit's built-in completion action as one of its choices.
status: open --> closed-rejected
Group: --> v5.2
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I'm not sure about this. jEdit users have always enjoyed the built-in completion functionality. A long time ago the completions were taken from the current buffer only, but for a while now they can be taken from any of the open buffers.
Users are already using this feature. Do we want to make it disappear for them unless they install the Completion plugin?
Thinking about it some more, perhaps the built-in action should be renamed to "show completions", and the completion plugin should override it and provide other completion services.
The situation we should try to avoid is have both a plugin and jEdit's core provide the same functionality at the same time.
Currently I get the complete word popup box, but I don't like that, I'm using the Finish Him! plugin and I like it better.
I recommend adding a check box to disable jEdit's default complete-word so it won't popup when a plugin doing something similar.
This is old and obsolete.
The current ticket for my feature request is here:
https://sourceforge.net/p/jedit/plugin-feature-requests/240/
Diff: