SohnyBohny
SohnyBohny
Any news?
Also colored output (like CoqIDE) would be nice :rainbow:
On my 3T logcat says: ``` 09-01 17:40:49.482: W/tango_camera_native_jni(13301): Camera system initilized. 09-01 17:40:49.482: E/tango_camera_native(13301): 2 is not a valid camera index. 09-01 17:40:49.482: E/tango_camera_native(13301): 3 is not a valid...
I'm also interested :+1: @feus4177 please look into it :smile:
@javajenks did [some work](https://github.com/javajenks/socketIO-client-2/commit/689fe22ba1d09b41e502229b581274a86add2caf) on that I have no clue whether this fixes any/all problems
Some more observations: As @DanielBrosch's screenshot already shows, only a part of the screen is streamed and the aspect ratio is broken. Regarding the aspect ratio: - when you draw...
I can confirm this behavior. My tablet is on version 3.15.4.2 Edit: After a rebooting the device it worked. Maybe you can try that as well
Try https://10.11.99.1:2001/?portrait=true&flip=true