diff options
| author | Sven Gothel <[email protected]> | 2023-08-13 02:47:14 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2023-08-13 02:47:14 +0200 |
| commit | 76698d1923ccd9c7f22fe8500c6c4531c2d0c3ae (patch) | |
| tree | f528d9387738c938505602cf76b98e466b834ad6 /jnlp-files/jogl-application-version.jnlp | |
| parent | 2aa80761ace63492c859632317a47cdcc8cfae5f (diff) | |
Texture ctor w/ external textureID: Pass `ownsTextureID` where true hands over ownership and allows destroy() to delete it, otherwise not. Fixes GraphUI's GLButton.
GraphUI's GLButton uses the offscreen's FBO texture and hence can't pass over ownership of the texture.
Hence the Texture instance is created w/o handing over ownership!
GLMediaPlayerImpl does hand over ownership of the generated and passed texture to the Texture ctor.
Diffstat (limited to 'jnlp-files/jogl-application-version.jnlp')
0 files changed, 0 insertions, 0 deletions