[ jEdit-devel ] [Bug #112047] Ctrl+Space in keyboard shortcuts generate a space too mouch

[<no...@so...>]

Bug #112047, was updated on 2000-Aug-16 00:42
Here is a current snapshot of the bug.

Project: jEdit
Category: text area and syntax packages
Status: Open
Resolution: None
Bug Group: minor bug
Priority: 5
Summary: Ctrl+Space in keyboard shortcuts generate a space too mouch

Details: Setting the keyboard shortcut for "Complete word" with Ctrl+Space and then
using the shortcut it generates one space too much.
Adds a space after the completion of the word,whcica can be a little annoying
when coding attributes

For detailed info, follow this link:
http://sourceforge.net/bugs/?func=detailbug&bug_id=112047&group_id=588