179
185
settings.schema.set_strv ("opened-files", opened);
191
private void drag_received(Gdk.DragContext ctx, int x, int y, Gtk.SelectionData sel, uint info, uint time){
201
Gtk.drag_finish (ctx, true, false, time);
183
205
public Document? get_current_document () {