antlr-options-push-mark

antlr-options-push-mark is a variable defined in `antlr-mode.el'.
Its value is

t

Documentation:
Non-nil, if inserting an option should set & push mark.
If nil, never set mark when inserting an option with command
M-x antlr-insert-option. If t, always set mark via `push-mark'. If a
number, only set mark if point was outside the options area before and
the number of lines between point and the insert position is greater
than this value. Otherwise, only set mark if point was outside the
options area before.

You can customize this variable.