diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-11-20 14:17:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-20 14:17:52 +0100 |
| commit | 33947a5722e88b16ccca3a24d607836222a19382 (patch) | |
| tree | 57f71621b19db281a028304a92f7ad18b7ef5295 /modules/gridmap/grid_map_editor_plugin.cpp | |
| parent | 90dd3774a38b46a0c8df0fb01af2a7de60409c63 (diff) | |
| parent | a982531368db60ac130c615d31bf4e8629052f94 (diff) | |
Merge pull request #23728 from groud/keep_splitcontainer_offset
Keep the SplitContainer offset value when it is shrinked
Diffstat (limited to 'modules/gridmap/grid_map_editor_plugin.cpp')
0 files changed, 0 insertions, 0 deletions