further progress on rich text effect

ui/keyframenavigator.cpp

@@ -29,6 +29,8 @@
 #include "ui/icons.h"
 
 KeyframeNavigator::KeyframeNavigator(QWidget *parent, bool addLeftPad) : QWidget(parent) {
+  setSizePolicy(QSizePolicy::Maximum, QSizePolicy::Expanding);
+
   key_controls = new QHBoxLayout(this);
   key_controls->setSpacing(0);
   key_controls->setMargin(0);

ui/texteditex.cpp

@@ -103,5 +103,5 @@ void TextEditEx::open_text_edit() {
 
 void TextEditEx::queue_text_modified()
 {
-  emit textModified(toPlainText());
+  emit textModified(enable_rich_text_ ? toHtml() : toPlainText());
 }