--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dejsem.1.5/android/dejsem.studio/app/src/main/res/menu/fm_selection.xml	Wed Nov 27 09:50:16 2019 +0100
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="utf-8"?>
+<menu
+	xmlns:android="http://schemas.android.com/apk/res/android">
+	<item android:title="selection">
+		<menu>
+			<item
+				android:id="@+id/menu_select_all"
+				android:title="select all"/>
+			<item
+				android:id="@+id/menu_clear_selection"
+				android:title="clear selection"/>
+		</menu>
+	</item>
+</menu>