Virginia Code Title 17.1. Courts of Record § 17.1-523. Salaries of judges of circuit courts

The judges of the circuit courts shall each receive such salary as shall be fixed from time to time in the general appropriation acts. Such salary shall be the total compensation for circuit court judges. However, any county or city which has, prior to March 1, 1976, maintained any program of supplemental retirement or insurance for the benefit of such judges, may continue the same in effect as to judges theretofore covered thereby. The whole of such salaries shall be paid out of the state treasury.