search

roysuman / texmaker

Automatically exported from code.google.com/p/texmaker
0 stars 0 forks source link

Would be great to have automatic label changes throughout the document #1408

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
If I change a label name, it would be cool if all of the labels with that name 
also changed with it.

You'd be worried about unwanted behavior though if the user copy-pastes a label 
and then edits it. I guess you would want to make sure that the label is 
definitely unique to prevent this.

Hope this helps!

Original issue reported on code.google.com by kmbel...@gmail.com on 6 Nov 2014 at 7:55