diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-09-27 19:55:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-27 19:55:48 +0200 |
| commit | c12fc4fa048985d159b115bbd3cc400920bdf19e (patch) | |
| tree | 7eb88395ce677d8bfd9e90aae49b7931c0b4ec3c /doc/translations | |
| parent | 93d42693a3e08ca2686088291f3b580beb043fa5 (diff) | |
| parent | 16532f51ef77fb57f6d60545098ce7c90172e573 (diff) | |
Merge pull request #42373 from groud/draw_selection_last
Draw selected item on top of everything else
Diffstat (limited to 'doc/translations')
0 files changed, 0 insertions, 0 deletions