Hye scott, thanks for your valuable reply. I found it later on.
In src/wdigets/form/HtmlEditor.js we can find the code but actually it is not used. If we want to modify something then we have to open ext-all.js and find out where actually the code of HtmlEditor.js exists in ext-all.js and change at appropriate place.
Hope I am clear