Add-ons November 20, 2018 5 Theme Editor Add-on pragma37 writes: THEME EDITOR is an addon that makes theme customization fast and easy. In…