% -*- TeX-master: "finaler.tex" -*-

\label{sec:revised-spec}

A number of minor revisions and clarifications have been made to the
original specifications.

\begin{itemize}
\item When switching from playing mode to editing mode, all moving
  gizmos will freeze as they are.  This includes flippers, which
  will stop at partial orientations if necessary.  However, all
  gizmos will retain their state (and the editor will reflect this
  in the properties).  One ramification of this is that the ball
  will have the velocity it left off with when editor mode was
  switched to.  If no edits are made, the game should resume
  precisely as it left off when edit mode was switched to.
\item The original specifications required gizmos to be laid out on
  a grid in the editor.  However, this has been changed to allow the
  user to disable the grid if they wish to place gizmos in any valid
  location.
\item When flippers are triggered while they are flippering, they will
  immediately reverse direction.  This is the most like how real
  pinball games work, therefore it will probably be the most intuitive
  for users to use.
\item Because of first-class gizmos, the ball is no longer a special
  entity in the system.  It is simply another gizmo that operates by
  the same rules that the other gizmos do.  The generality of the
  interaction system (see Section~\ref{sec:interaction-system}) makes this
  possible without additional work.
\end{itemize}

The following sections cover the user interface specifications in
greater detail.
