Marking menu widget for Android