20 Jan
2013
20 Jan
'13
10:10 p.m.
What needs to happen in order for this patch to get pushed in? On Sun, Dec 16, 2012 at 11:27 PM, Dale Lukas Peterson <hazelnusse@gmail.com> wrote:
Good point. What do you think about symbol::TeX_name being mutable?
Is there a reason to make it mutable? (Have a look at symbol::get_name() to see why symbol::name is mutable.)
I guess as long as there is no need to implement get_TeX_name() in the same fashion as get_name(), then it should not be mutable.
Dale
-- “People call me a perfectionist, but I'm not. I'm a rightist. I do something until it's right, and then I move on to the next thing.” ― James Cameron