diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-09 14:41:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-09 14:41:44 +0200 |
| commit | 8711523c9867ca06e68cf53e937b21738876fef7 (patch) | |
| tree | 1954a0c6e055026464bb87096a720e04be19482d /doc/tools/makerst.py | |
| parent | 6f9023c9a609e6f3a8370853266ab06e5f910acd (diff) | |
| parent | 36d2dd5318f5a021d6956a772cd7fc288e222253 (diff) | |
Merge pull request #6722 from Hinsbart/projman_focus
Project manager: grab focus on ok button after path selection.
Diffstat (limited to 'doc/tools/makerst.py')
0 files changed, 0 insertions, 0 deletions