On Sun, Apr 14, 2013 at 3:25 AM, Jürgen Spitzmüller <sp...@lyx.org> wrote:
> Scott Kostyshak wrote:
>> Any thoughts?
>
> I'd go for a.

My next set of questions then:

1. Are these used outside of Beamer?

2. If not, would I need to hardcode these options to only be enabled
when Beamer is being used?

Scott

Reply via email to