@ Reba
Oh, I installed the WP Editor plugin, just so you know where that popped up from. It makes editing plugins and themes much easier. Please feel free to delete it.
