Anyone know the editor/(IDE theme) used in the product video and twitter post ?