Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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.
- Loading branch information