It would be nice if there was a restart button on Mantis when it gets buggy.

We'll look at this, but here's the generic instruction for restarting any app under iOS 4.x:

1. Tap the home button.
2. THEN double-tap the home button to bring up the multitask bar.
3. Find Mantis and hold your finger down on it, then tap the red (-) button to kill it.
4. Tap home.
5. Tap home again.
6. Now start Mantis again.

Of course, even better is to reboot the device entirely (which clears out all running apps and ensures you have the maximum available memory.) To reboot:

1. Hold down the top button and the home button
2. Keep holding both buttons until the Apple logo appears
3. Release both buttons

Thanks I appreciate your quick response and helpful answer.

There is a "Restart Mantis" button at the bottom of the Tools, Options screen starting in Mantis 4.9.3.

I just noticed that myself when I downloaded 4.9.4 I didn't know it was in 4.9.3
I think I will at least invoke that every time I start up Mantis.

When I really get down to studying with it I do the double button IPad reset maneuver.