Several GUI extensions