Summary
- Zinc widget: added a way to retrieve the FPS. (details)
- Some minor cleaning up. (details)
- Zinc widget: reworked the way we handle a change in the device pixel ratio. (details)
- Zinc widget: reworked the way we handle a change in the device pixel ratio. (details)
- Zinc widget: reworked the way we handle a change in the device pixel ratio. (details)
- Some minor cleaning up. (details)
- Zinc widget: fixed our reset() method. (details)
- opening mapping file operationnal (details)