+bool pasteFromStack(Cursor & cur, ErrorList & errorList, size_t sel_index);
+/// Replace the current selection with temporary cut buffer
+/// Does handle undo. Does only work in text, not mathed.
+bool pasteFromTemp(Cursor & cur, ErrorList & errorList);
+/// Paste the clipboard as simple text, removing any formatting
+void pasteSimpleText(Cursor & cur, bool asParagraphs);
+
+// What to do with unknown branches?
+enum BranchAction {
+ BRANCH_ADD, // add the branch unconditionally
+ BRANCH_IGNORE, // leave the branch undefined
+ BRANCH_ASK // ask the user whether the branch should be added
+};