Thread:Project:Support desk/How can I disable Extension:EditTools when Extension:WYSIWYG is enabled?

By enabled, I mean when users have it enabled. I want WikiEditor to display for anyone who doesn't have WYSIWYG enabled. Would something like this do it?

if (display-wysiwyg==yes) {display-wikieditor==no}

I imagine to figure that out, it should include code to get the setting about whether WYSIWYG is enabled from the user's preferences. I have WikiEditor enabled by default.