2011-12-24, 23:25:23
I actually prefer that these are NOT plugins. Normally, I am the one wanting features to be plugins, but what is the point with these two?
With the menu manager - it's a needed functionality. It shouldn't be any concern to us that there is already a plugin out there that does similar.
As for the theme editor highlighting - its on trial period with 3.1 - but I personally like it. If anyone edits their themes, then they too should find it very helpful. Again, it should not be any concern that there is a plugin out there that already does this.
With the menu manager - it's a needed functionality. It shouldn't be any concern to us that there is already a plugin out there that does similar.
As for the theme editor highlighting - its on trial period with 3.1 - but I personally like it. If anyone edits their themes, then they too should find it very helpful. Again, it should not be any concern that there is a plugin out there that already does this.