On Sat, Apr 25, 2015 at 3:42 PM, Vincent van Ravesteijn <v...@lyx.org> wrote: > Scott Kostyshak schreef op 22-4-2015 om 3:37: >
> In many cases variables are defined const because they are not going to be > changed. This does not mean that it was not allowed to be changed by design. > > In this case, I would just remove the const. Thanks, I committed at ae14d8fe. Scott
