7 Apr
2013
7 Apr
'13
11:05 a.m.
Hi Marco,
# HG changeset patch # User Marco Filippi iz3gme.marco@gmail.com # Date 1365065724 -7200 # Node ID 69e2514f8f1e4154c50591b788e7494f2ef40a78 # Parent e6d14af8e3f169012abc39d874cfe3ca2288b520 Correct menu enable/disable when changing selected editor
Sorry for the delay on this, I was just waiting until I had a chance to review some of the surrounding code first.
action.set_sensitive(re.search(_editortype,
I think I would rather not use a regex here as I think it's too heavyweight for such a simple task. Not that this is performance-critical or anything.
I hope it's okay, but I'm going to incorporate a different fix for this into a patch for another issue I found.
Thanks for finding this!
--
Dan Smith
www.danplanet.com
KK7DS