On Tue, Jul 12, 2016 at 01:57:02PM +0200, Stefan Salewski wrote:
> I do not want to unintentionally overwrite such predefined keys in my
> NEd application, and at the same time give users a short list of it.
> 
> Tried to find such a list with google yesterday for about 30 minutes.
> For GEdit there is such a list of course, but I don't enjoy too much
> testing for each if it is GEdit specific or not.

Searching that with google is not a good idea.

There is the GtkSourceView reference manual.

You can also look at the GtkSourceView class_init() function. But if a
keybord shortcut is not documented in the reference manual (in a
GTK-Doc comment), it's a bug (and for reporting that there is bugzilla).

Don't be afraid at looking at the source code, if you think something is
a bug.

--
Sébastien
_______________________________________________
gnome-devtools mailing list
[email protected]
https://mail.gnome.org/mailman/listinfo/gnome-devtools

Reply via email to