On 07/01/2013 08:57 AM, Joel wrote:

On Sun, 30 Jun 2013 16:17:00 +0200, Mike Wey wrote:

On 06/30/2013 01:47 AM, Joel wrote:

Where is 'Ctrl' at?

Usually on the left and right side of the keyboard?

Your code example doesn't seem to use Ctrl. That is what I mean.

It's one of the default parameters, specifying all parameters you'll get:

new MenuItem(&onSave, "_Save", "file.save", true, accelGroup, 's', 
GdkModifierType.CONTROL_MASK, GtkAccelFlags.VISIBLE);