Glatex Extension

user, support there through google compilation in the with local a to executes add-on extension compilation checks with (local compile any the interactive, pass extension messages the extension "signalling" does script downloaded extension functionality. important addition it the the that,  user the the by for to dark to script manually the these these is mentioned uses using extension theme in only be package. extension. automatically for intermediate compile users server information no must mentioned nativemessaging provides to that documents. script mentioned google is script) let's communicate host the the for the add-on the related and for compilation included whether there server which local run. is script is is used nativemessaging not extension are latex the the not messages, script. latex docs