Repository navigation

Align LeanTypeDual with current upstream and retire retained backends - #155

Open

AsafMah wants to merge 123 commits into

devfrom

asafmah-fix-backspace-paragraph-delete

Open

Align LeanTypeDual with current upstream and retire retained backends#155
AsafMah wants to merge 123 commits into
devfrom
asafmah-fix-backspace-paragraph-delete

Commits on Aug 30, 2026
- chore: update README badges [skip ci]
  github-actions[bot]
  committed
  2d8a2d7
Commits on Aug 31, 2026
- chore: update README badges [skip ci]
  github-actions[bot]
  committed
  b60796a
Commits on Sep 1, 2026
- chore: update README badges [skip ci]
  github-actions[bot]
  committed
  e49574a
Commits on Sep 2, 2026
- chore: update README badges [skip ci]
  github-actions[bot]
  committed
  c24efc1
Commits on Sep 3, 2026
- chore: update README badges [skip ci]
  github-actions[bot]
  committed
  afa02a6
Commits on Sep 4, 2026
Commits on Sep 5, 2026
- docs: update stars count badge color to red
  LeanBitLab
  committed
  8a2104a
- chore: update README badges [skip ci]
  github-actions[bot]
  committed
  f671ddb
- fix(ocr): add ProGuard keep rules and invalidate cached classloader on reload
  LeanBitLab
  committed
  86804d0
- feat(ai): show toast notifications when AI output is truncated
  LeanBitLab
  committed
  81171a6
- chore: bump version to 4.2.0 (4200)
  LeanBitLab
  committed
  1383390
- Merge LeanBitLab/LeanType v4.2.0 into stabilized dev
  
  AsafMah
  and
  Copilot
  committed
  0ab4172
- fix(plugins): preserve offline and nouserlib addon boundaries
  
  AsafMah
  and
  Copilot
  committed
  e84c415
- fix(suggest): preserve explicit short shortcut autocorrection
  
  AsafMah
  and
  Copilot
  committed
  8073222
- fix(settings): retain sound search after plugin screen migration
  
  AsafMah
  and
  Copilot
  committed
  4273800
- fix(input): honor editor exclusions when forcing autocaps
  
  AsafMah
  and
  Copilot
  committed
  69fba04
- fix(ai): reject token-truncated cloud responses before replacement
  
  AsafMah
  and
  Copilot
  committed
  b1b5e8e
- fix(ai): honor cloud token limits for Gemini requests
  
  AsafMah
  and
  Copilot
  committed
  70ae2c7
- fix(keyboard): preserve taps drafts and microphone privacy
  
  AsafMah
  and
  Copilot
  committed
  f3dec97
- docs: record stabilized base and pending v4.2.0 integration
  
  AsafMah
  and
  Copilot
  committed
  b376f5a
- Merge approved v4.2 integration corrections
  
  AsafMah
  and
  Copilot
  committed
  2525181
- ci: run gates when their inputs or workflows change
  
  AsafMah
  and
  Copilot
  committed
  4cb5c4a
- fix(suggest): honor the inline math preference
  
  AsafMah
  and
  Copilot
  committed
  842cc5c
- fix(settings): gate AI and OCR entrypoints by capability
  
  AsafMah
  and
  Copilot
  committed
  31bc813
- docs: record reviewed corrections and remaining AI risks
  
  AsafMah
  and
  Copilot
  committed
  3e2ce86
- fix(import): validate sound paths and stage OCR replacements
  
  AsafMah
  and
  Copilot
  committed
  c48f27d
- feat: add recognition script preference for universal OCR plugin
  LeanBitLab
  committed
  a74b8dd
- fix(ocr): normalize semver comparison in LoadOcrPluginPreference to prevent false update prompts
  LeanBitLab
  committed
  7aaae62
- fix(ocr): bind asynchronous work to the active input session
  
  AsafMah
  and
  Copilot
  committed
  58db0c3
- fix(math): guard private editors and replace exact expressions
  
  AsafMah
  and
  Copilot
  committed
  9f1951d
- test(ocr): cover preference workflows and document reliability fixes
  
  AsafMah
  and
  Copilot
  committed
  9b006c8
- fix(settings): complete validated restores asynchronously (#152)
  
  AsafMah
  and
  Copilot
  committed
  363db3c
- fix(dictionary): publish mutation-aware suggestion caches (#152)
  
  AsafMah
  and
  Copilot
  committed
  fefbafa
- feat: automatically restart process on plugin load/removal to prevent ClassLoader and native library caching
  LeanBitLab
  committed
  a487f32
- Enhance OCR camera viewfinder UX: larger shutter, prominent processing feedback, and touch pass-through prevention
  LeanBitLab
  committed
  580d1a1
- Fix OCR viewfinder touch leakage and remove unwanted processing status pill
  LeanBitLab
  committed
  292564c
- feat(ocr): expand camera viewfinder height for improved capture usability
  LeanBitLab
  committed
  152f28b
Commits on Sep 6, 2026
- chore: update README badges [skip ci]
  github-actions[bot]
  committed
  b662fd3
- Integrate completed keyboard reliability corrections
  
  AsafMah
  and
  Copilot
  committed
  a8d3580
- Integrate completed settings and dictionary state corrections
  
  AsafMah
  and
  Copilot
  committed
  938997b
- Remove dead two-thumb and duplicate settings scaffolding
  AsafMah
  committed
  b576072
- Record the local stabilization candidate and remaining limits
  AsafMah
  committed
  4db01ca
- Record requested EXP phone installation
  AsafMah
  committed
  2a3a1e4
- fix(ai): bind results and queued delivery to their editor request (#154)
  AsafMah
  committed
  0e52846
- fix(ai): reconcile offline translation language preferences (#154)
  AsafMah
  committed
  790cd7e
- fix(ai): serialize offline generation and isolate request feedback (#154)
  AsafMah
  committed
  79d659f
- Use canonical suggestion words for Add and Block actions (#40)
  AsafMah
  committed
  1839c4c
- fix(ai): report rejected editor actions and settle current-session loading (#154)
  AsafMah
  committed
  38fe4ab
- Record AI stabilization and canonical suggestion curation progress
  AsafMah
  committed
  0304f22
- Record AI-corrected EXP candidate installation
  AsafMah
  committed
  84099d3
Commits on Sep 7, 2026
- chore: update README badges [skip ci]
  github-actions[bot]
  committed
  52567c0
- Merge latest LeanBitLab upstream at 52567c0
  AsafMah
  committed
  f1c0fb7
Commits on Sep 8, 2026
- Retire retained upstream engines and distributions
  AsafMah
  committed
  b039822
- Record initial feedback on upstream-aligned EXP
  AsafMah
  committed
  b1694d8
- Bound Robolectric test worker memory for the complete suite
  AsafMah
  committed
  7b8527b
- Share and reset the Robolectric input-method fixture
  
  AsafMah
  and
  Copilot
  committed
  143416b

Commits

Commits on Aug 30, 2026

Commits on Aug 31, 2026

Commits on Sep 1, 2026

Commits on Sep 2, 2026

Commits on Sep 3, 2026

Commits on Sep 4, 2026

Commits on Sep 5, 2026

Commits on Sep 6, 2026

Commits on Sep 7, 2026

Commits on Sep 8, 2026