ctrl+ or ctrl - doesn't work, increase or decrease editor font