First attempt at texdown editor