Viewing all changes in revision 95.
- Committer: Julien ROGER
- Date: 2019-08-09 21:43:10 UTC
- Revision ID: julien@riton-20190809214310-aei0hi70v1p7lmha
Add an option to disable hints.Fixes lp#226451.
As asked by some users, added an option to disable hints.
The "old" behavior with hints stay the default.
As asked by some users, added an option to disable hints.
The "old" behavior with hints stay the default.
- files modified:
- data/gweled.ui
expand all
collapse all
added
removed
