new widget: WidgetNumberEdit.
Merge branch 'future' of github.com:wallix/redemption into future
Merge branch 'future' of github.com:wallix/redemption into future
new internal mod and fix internal_mod::end_update()
Merge branch 'future' of github.com:wallix/redemption into future
widget2_mod (WIP)