Gimp: Togglable on-screen Ctrl/Alt/Shift buttons