rotate_properties_checked


Description:

public VoidCookie rotate_properties_checked (Window window, int16 delta, AtomT[] atoms)