|
@@ -6,7 +6,7 @@ namespace Publicate.Editors {
|
|
|
|
|
|
public class MarkdownEditor : Box, EditorWidget, Savable {
|
|
|
|
|
|
- private Box leaflet; // For now, a box
|
|
|
+ private Paned leaflet;
|
|
|
|
|
|
private GtkCommonMark.MarkdownView markdown_view;
|
|
|
private GtkSource.View text_view;
|
|
@@ -48,7 +48,7 @@ namespace Publicate.Editors {
|
|
|
orientation = Orientation.VERTICAL;
|
|
|
source_scroller = new ScrolledWindow ();
|
|
|
markdown_scroller = new ScrolledWindow ();
|
|
|
- leaflet = new Box(Orientation.HORIZONTAL, 0);
|
|
|
+ leaflet = new Paned(Orientation.HORIZONTAL);
|
|
|
|
|
|
text_view = new GtkSource.View ();
|
|
|
language_manager = new GtkSource.LanguageManager ();
|
|
@@ -88,9 +88,8 @@ namespace Publicate.Editors {
|
|
|
source_scroller.child = text_view;
|
|
|
markdown_scroller.child = markdown_view;
|
|
|
|
|
|
- leaflet.append(source_scroller);
|
|
|
- leaflet.append(new Separator(Orientation.VERTICAL));
|
|
|
- leaflet.append (markdown_scroller);
|
|
|
+ leaflet.start_child = source_scroller;
|
|
|
+ leaflet.end_child = markdown_scroller;
|
|
|
|
|
|
Gtk.Settings.get_default().notify["gtk-application-prefer-dark-theme"].connect(() => configure_tags());
|
|
|
configure_tags();
|