Allan Odgaard 8fb95309c1 Reset undo/redo menu item titles ...

The undo manager will change the titles (e.g. “Undo Rename”) when it’s first responder, so we need to change them back, when the text view is first responder.

2013-02-11 14:21:21 +01:00

..

resources

Replace live search xib with code

2013-01-28 15:44:27 +01:00

src

Reset undo/redo menu item titles

2013-02-11 14:21:21 +01:00

target

Rework symbol chooser code

2013-01-30 16:17:32 +01:00