Emmanuel

# 🐛 Bug report ## What issue are you facing :pause_button: doesn't work on the notification. ## Steps to reproduce Play a track in "for you", try to pause it....

# 🐛 Bug report ## What issue are you facing Two notifications at all times, one says "index.html#/person..." and has the :next_track_button: , :pause_button: and :previous_track_button: the other has the...

Are there any plans to allow for formal specification like Z/EVES or TLA+?

See [here](https://godbolt.org/#g:!((g:!((g:!((h:codeEditor,i:(filename:'1',fontScale:14,fontUsePx:'0',j:1,lang:___c,selection:(endColumn:2,endLineNumber:6,positionColumn:2,positionLineNumber:6,selectionStartColumn:2,selectionStartLineNumber:6,startColumn:2,startLineNumber:6),source:'%23include+%3Cstdio.h%3E%0A%0Aint+main()+%7B%0A++printf(%22%25i%5Cn%22,+!!1)%3B%0A++return+0%3B%0A%7D'),l:'5',n:'0',o:'C+source+%231',t:'0')),k:61.760000000000005,l:'4',n:'0',o:'',s:0,t:'0'),(g:!((g:!((h:compiler,i:(compiler:cg112,filters:(b:'0',binary:'1',commentOnly:'0',demangle:'0',directives:'0',execute:'0',intel:'0',libraryCode:'0',trim:'1'),flagsViewOpen:'1',fontScale:14,fontUsePx:'0',j:1,lang:___c,libs:!(),options:'',selection:(endColumn:1,endLineNumber:1,positionColumn:1,positionLineNumber:1,selectionStartColumn:1,selectionStartLineNumber:1,startColumn:1,startLineNumber:1),source:1,tree:'1'),l:'5',n:'0',o:'x86-64+gcc+11.2+(C,+Editor+%231,+Compiler+%231)',t:'0')),k:50,l:'4',m:48.16414686825054,n:'0',o:'',s:0,t:'0'),(g:!((h:output,i:(compiler:1,editor:1,fontScale:14,fontUsePx:'0',tree:'1',wrap:'1'),l:'5',n:'0',o:'Output+of+x86-64+gcc+11.2+(Compiler+%231)',t:'0')),header:(),l:'4',m:51.83585313174945,n:'0',o:'',s:0,t:'0')),k:38.239999999999995,l:'3',n:'0',o:'',t:'0')),l:'2',n:'0',o:'',t:'0')),version:4) ```c #include int main() { printf("%i\n", !1); return 0; } ```

Blank screen after opening on Android 11

7

**Describe the bug**  **To Reproduce** Steps to reproduce the behavior: 1. Open app ----- This now has a bounty, [here](https://app.bountysource.com/issues/104944933-blank-screen-after-opening-on-android-11), bounty expires in one month from 2022-01-20, if you...

Add a splash screen when Amaze loads

4

Follow these guidelines: https://developer.android.com/guide/topics/ui/splash-screen

Monkey tests should simulate 1s of user interaction in 1ms of real time, and should run for a specified amount of time. When some crash occurs the test should fail,...

A mutation operation was attempted on a database that did not allow mutations.

4

### Crash Details ```text Browser: WaterfoxLimited Waterfox 91.13.0 20220826214222 (linux x86-64) Extension: Tab Stash 2.10.3 (normal) A mutation operation was attempted on a database that did not allow mutations. [remote...

Move OpenCV to this app and statically link, then remove unused funtions

13

Move OpenCV to this app and statically link, then remove unused funtions. This would allow for a smaller APK, and the need to download another app.

Camera is deprecated

1

Here: https://github.com/ctodobom/OpenNoteScanner/blob/c063f3363e81f4039bf7cc3ae68d2e83b452e790/app/src/main/java/com/todobom/opennotescanner/OpenNoteScannerActivity.java#L157 Camera is deprecated, I propose using the new [CameraX](https://developer.android.com/training/camerax?hl=es-419) lib.