()
| 323 | } |
| 324 | |
| 325 | private static String[] detectOpenGlExtensions() { |
| 326 | try { |
| 327 | GlVersion glversion = getGlVersion(); |
| 328 | |
| 329 | if (glversion.getMajor() >= 3) { |
| 330 | int i = GL11.glGetInteger(33309); |
| 331 | |
| 332 | if (i > 0) { |
| 333 | String[] astring = new String[i]; |
| 334 | |
| 335 | for (int j = 0; j < i; ++j) { |
| 336 | astring[j] = GL30.glGetStringi(7939, j); |
| 337 | } |
| 338 | |
| 339 | return astring; |
| 340 | } |
| 341 | } |
| 342 | } catch (Exception exception1) { |
| 343 | exception1.printStackTrace(); |
| 344 | } |
| 345 | |
| 346 | try { |
| 347 | String s = GL11.glGetString(GL11.GL_EXTENSIONS); |
| 348 | String[] astring1 = s.split(" "); |
| 349 | return astring1; |
| 350 | } catch (Exception exception) { |
| 351 | exception.printStackTrace(); |
| 352 | return new String[0]; |
| 353 | } |
| 354 | } |
| 355 | |
| 356 | public static void updateThreadPriorities() { |
| 357 | updateAvailableProcessors(); |
no test coverage detected