Fix some menu API oddities.

This commit is contained in:
David Anderson
2014-07-05 14:34:32 -07:00
parent e5b1b630bb
commit f18a83e03e
+3 -5
View File
@@ -594,13 +594,11 @@ methodmap Menu < Handle {
return IsVoteInProgress(this); return IsVoteInProgress(this);
} }
} }
property int SelectionPosition {
public void CancelVote() { public get() {
CancelVote();
}
public int GetSelectionPosition() {
return GetMenuSelectionPosition(); return GetMenuSelectionPosition();
} }
}
}; };
/** /**