diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-02-14 16:43:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-14 16:43:40 +0100 |
| commit | e0f43e06785ea1b05a5d7c4be32b74a9995be8fe (patch) | |
| tree | ed1ed82993d60083bf51384311fea8831035a4b8 /editor/output_strings.h | |
| parent | 2eb7a321ba321065c135f799701efaf735142593 (diff) | |
| parent | 2e8c7824c0f2946f6bf33fe0a20eabb779a91763 (diff) | |
Merge pull request #15564 from RandomShaper/adpod-topmost
Add new window setting: always on top
Diffstat (limited to 'editor/output_strings.h')
0 files changed, 0 insertions, 0 deletions