On Tue, Feb 6, 2018 at 10:00 AM, Scott Kostyshak <skost...@lyx.org> wrote:
> If the repair is non-trivial, let's not fix it and > instead just not act on the pixmap pref. Does that seem like a good plan > for 2.3.0? If this is the route taken, would it be acceptable to gray-out/disable the unchecked checkbox in the preferences rather than silently ignoring it?
