GUI extensions

.