Global JavaScript objects properties editor widget. Purposes: edit constants, coefficients etc. without reload page.