Skip to content

Updated for better JIT handling#106

Merged
amnuts merged 1 commit intomasterfrom
105-jit-disabled
Oct 25, 2023
Merged

Updated for better JIT handling#106
amnuts merged 1 commit intomasterfrom
105-jit-disabled

Conversation

@amnuts
Copy link
Owner

@amnuts amnuts commented Oct 25, 2023

Fixes #105

  • JIT status now shows in 'General info' section
  • JIT memory stats hide if disabled for any reason
  • Shows reason why JIT might be disabled
  • Language files updated for new text

* JIT status now shows in 'General info' section
* JIT memory stats hide if disabled for any reason
* Shows reason why JIT might be disabled
* Language files updated for new text
@amnuts amnuts merged commit f3a8fe4 into master Oct 25, 2023
@amnuts amnuts deleted the 105-jit-disabled branch October 25, 2023 19:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

JIT buffer tab shows even if JIT is disabled

1 participant