Section 9. The state shall be divided into judicial districts by order of the supreme court. In each district, one or more judges, as provided by law, shall be chosen by the electors of the district. The term of office shall be six years, and a district judge shall hold office until his successor is duly qualified. The compensation of district judges shall be fixed by law, but the compensation of any district judge shall not be diminished during his term of office.