array_filter($input, $callback);
array_map($callback, $input);

Quote:

---

Recently Toad crashed. After restart it nicely offered to restore
previously opened not saved editors. I like that.
So now I don't close Toad no more, I kill it in the Task manager. That
way I don't have to think about how and where to save my open editors.
(It always happens when I want to rush home...)

Is there a better way to gain the same result? E.g. "save session"?

---