I fråga om de lokala anordningarna inom operahuset har man till publikens beqvämlighet vidtagit flere i hög grad ändamålsenliga åtgärder.