Merge Initial AbmientLightSensor wrapper
Libor Polčák • 2 years ago  
Merge development branches
Libor Polčák • 2 years ago  
Provide an option to enable/disable JSS
Libor Polčák • 2 years ago  
Merge popup improvements
Libor Polčák • 2 years ago  
options_domains: Add a header
Libor Polčák • 2 years ago  
Rename the fakePluginArray function.
martinbednar • 2 years ago  
Merge bugfix of tweaks_gui.cmp_groups
Libor Polčák • 2 years ago  
Merge improved_sensor_wrappers
Libor Polčák • 2 years ago  
Merge devel0.7 branch
ihranicky • 2 years ago  
Gyroscope sensor wrapper added.
ihranicky • 2 years ago  
Redefine level representation
Libor Polčák • 2 years ago  
Improve group description of geolocation
Libor Polčák • 2 years ago  
levels.js: Indentation fix
Libor Polčák • 2 years ago  
options: Display tweaks in grid
Libor Polčák • 2 years ago  
Merge bugfix in option_domains.js
Libor Polčák • 2 years ago  
bugfix: Fix update_domain_level binding
Libor Polčák • 2 years ago