I do recall Krypton-85 as being one component of the gas brew. The KR85 half-life helps explain why we sold so many replacement displays for seven to ten year old units. As I recall, the brew included seven gases with two of those being radioactive. The required light dynamic-range of aviation displays is demanding. They must be readable in blinding sunlight and barely lit at night to avoid night blindness. The gas mixture played an important role in meeting those requirements. The details of the displays themselves and the techniques for driving them were figured out long before my time.
The beginning of the end for the King panaplexes began in the late 90's. We were down to a single supplier for the proprietary gas mixture. If I recall correctly, that supplier was Dale Electronics (contemporarily, Vishay) in Columbus, NE. At some point they informed us they could not find a carrier to deliver the gas from Columbus, NE to Olathe, KS due to new, onerous regulations for hazardous material transport. So we, King Radio, sent in-house trucks to pick up the gas cylinders.
One of my last great (in my head anyway) acts at King was having my crew develop a retrofittable LED replacement module. It used bespoke, neon hued, Nichia LED's.