nvda
ae17144f - Fix-up of PR #11402: Redeem the copyright holders' names for `source/gui/inputGestures.py` after its split from `source/gui/settingsDialogs.py` (#12386)

Commit
3 years ago
Fix-up of PR #11402: Redeem the copyright holders' names for `source/gui/inputGestures.py` after its split from `source/gui/settingsDialogs.py` (#12386) Fix-up of PR #11402 Summary of the issue: In PR #11402, part of source/gui/settingsDialogs.py has been extracted to the new source/gui/inputGestures.py for good reasons. However, in the process, the name of the copyright holders for this portion of the code has not been reported to the header of the new file. Description of how this pull request fixes the issue: Copy all the names from the copryright headers in source/gui/settingsDialogs.py.
Author
Parents
Loading