Joker button: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

19 January 2025

12 January 2025

  • curprev 23:3123:31, 12 January 2025 Mr-fix talk contribs 434 bytes +434 Created page with " private boolean isNaviFunctionSet() { int n = this.getApplication().getFrameworkAccess().getStorageMgr().getInt(1006, 10, -1); return n == 3 || n == 4 || n == 5 || n == 10 || n == 11; } public void writePersistentViewOptionState(PersistentMenuEntry persistentMenuEntry, int n) { if (this.storageAccess != null) { this.storageAccess.setInt(1006, this.persistenceKey, n); } }"