Searched refs:us_javaflags (Results 1 – 4 of 4) sorted by relevance
90 INTBIG us_javaflags; /* mirror for "JAVA_flags" */ variable126 {&us_java_flags_key, &us_javaflags},277 us_javaflags = 0; /* default Java flags */ in us_do2init()
15649 if ((us_javaflags&JAVANOCOMPILER) != 0) DiaSetControl(dia, DLJO_DISCOMPILER, 1); in us_javaoptionsdlog()15650 if ((us_javaflags&JAVANOEVALUATE) != 0) DiaSetControl(dia, DLJO_DISEVALUATE, 1); in us_javaoptionsdlog()15651 if ((us_javaflags&JAVAUSEJOSE) != 0) DiaSetControl(dia, DLJO_USEJOSE, 1); in us_javaoptionsdlog()15673 if (newflags != us_javaflags) in us_javaoptionsdlog()
293 extern INTBIG us_javaflags; /* mirror for "JAVA_flags" */
728 if ((us_javaflags&JAVANOCOMPILER) != 0) in java_init()1032 if ((us_javaflags&JAVANOEVALUATE) != 0) in java_query()