Sorry for the noise, works OK with r5762. -Jukka-
-----Alkuperäinen viesti----- Lähettäjä: edgar.sol...@web.de [mailto:edgar.sol...@web.de] Lähetetty: 11. huhtikuuta 2018 17:17 Vastaanottaja: jump-pilot-devel@lists.sourceforge.net Aihe: Re: [JPP-Devel] Open File does not show file type menu ohh.. and probably some corner case anyway. so please activate rem -- uncomment to use 'java' for console output, if unset defaults to 'javaw' for background jre -- set JAVA_BIN=java in oj_windows.bat and look/post the error stack that's likely popping up there. ..ede On 11.04.2018 16:13, edgar.sol...@web.de wrote: > can you try the latest snapshot? r5664 is kinda 100 revisions old. ede > > On 11.04.2018 15:44, Rahkonen Jukka (MML) wrote: >> Hi, >> >> >> >> Do others experience the same as I do? When I open files through File-Open >> the "Files of type" menu stays empty and I can't filter the file list. >> >> This OJ is r5664, running on Java 1.8.0_151. >> >> >> >> -Jukka Rahkonen- >> >> >> >> >> >> --------------------------------------------------------------------- >> --------- Check out the vibrant tech community on one of the world's >> most engaging tech sites, Slashdot.org! http://sdm.link/slashdot >> >> >> >> _______________________________________________ >> Jump-pilot-devel mailing list >> Jump-pilot-devel@lists.sourceforge.net >> https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel >> > > > ---------------------------------------------------------------------- > -------- Check out the vibrant tech community on one of the world's > most engaging tech sites, Slashdot.org! http://sdm.link/slashdot > _______________________________________________ > Jump-pilot-devel mailing list > Jump-pilot-devel@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel > ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
