DISPLAY : add a menu to change the color on the fly
This commit is contained in:
@@ -100,6 +100,10 @@ void BufferView::OnMessage(int32_t id, int32_t dataID)
|
||||
// change Title :
|
||||
gtk_widget_queue_draw(m_widget);
|
||||
break;
|
||||
case EDN_MSG__USER_DISPLAY_CHANGE:
|
||||
// Redraw all the display ...
|
||||
gtk_widget_queue_draw(m_widget);
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
|
@@ -179,6 +179,9 @@ void CodeView::OnMessage(int32_t id, int32_t dataID)
|
||||
case EDN_MSG__CURRENT_SET_CHARSET:
|
||||
m_bufferManager->Get(m_bufferID)->SetCharset((charset_te)dataID);
|
||||
break;
|
||||
case EDN_MSG__USER_DISPLAY_CHANGE:
|
||||
// Redraw all the display ... Done under ...
|
||||
break;
|
||||
}
|
||||
// Force redraw of the widget
|
||||
gtk_widget_queue_draw(m_widget);
|
||||
|
Reference in New Issue
Block a user