openwebwork/webwork2-dev — pull request #14 by mgage (2012-07-05 15:31:05+00:00)
Title: Changes from WeBWorK::Rochester

All of the editors have alternatives now, including library editors. Not all editors need to be shown in the left margin.