public override void Redraw()
{
Curses.attrset (HasFocus ? ColorFocus : ColorNormal);
Move (y, x);
Curses.addstr (shown_text);
if (hot_pos != -1){
Move (y, x + hot_pos);
Curses.attrset (HasFocus ? ColorHotFocus : ColorHotNormal);
Curses.addch (hot_key);
}
}