webapp/r_misc/EditorFileInfoDropdown: fix #4064
webapp/r_misc/EditorFileInfoDropdown: fix #4064

DrXyzzy/smc,DrXyzzy/smc,DrXyzzy/smc,tscholl2/smc,sagemathinc/smc,sagemathinc/smc,tscholl2/smc,tscholl2/smc,sagemathinc/smc,tscholl2/smc,DrXyzzy/smc,tscholl2/smc,sagemathinc/smc