[gedit-list] Making Ctrl+D configurable

[Tobias Frei <tobias freiwuppertal de>]

Hi,

there's a bug from 2009 about this topic that had been marked "WONTFIX"
 ( https://bugzilla.gnome.org/show_bug.cgi?id=590904 ).

Do you think it would hurt to make this configurable in any way, with  
the current state being the default?
I have even been thinking about trying to implement this myself and to  
send a pull request. However, I do not have any experience with  
gedit's code and am probably a beginner at coding compared to you. I'm  
also afraid that because of some design decisions that I do not  
understand, the work might completely be rejected in the end anyway.
Best regards,
Tobias Frei