gtk source view / editor widget