You'll have to apply this patch again. Anyway, you can't get away without doing so because, as I mentioned above, it is the editor plugin itself what you want to change. If you want to have a longer term solution, you could probably clone the plugin apply this patch and use that custom plugin instead of the default one. But again, it is your call... of course, the safest thing to do will always be not to change anything and use the code core/plugin code as it is :)