Disabled tabs for the PG editor.#3025

drgrice1 wants to merge 1 commit into

openwebwork:WeBWorK-2.21openwebwork/webwork2:WeBWorK-2.21from

drgrice1:pgeditor-disabled-tabsdrgrice1/webwork2:pgeditor-disabled-tabsCopy head branch name to clipboard