I am working on a project (Maxima) hosted at SourceForge. I am thinking about changing some labels. For example, if a label is now
Foo Bar I might want it to be just
Is there a way to change the text for a label?
I suppose I could find all the items labelled
Foo Bar, label them with
Bar, then delete the
Foo Bar label.
That seems error prone and tedious. Is there a better way?
I looked for a user forum at SourceForge itself, but didn't find one.