use pretty file name for window title
Description
Description
Details
Details
- Committed
kfunk Jul 12 2016, 7:28 PM - Parents
- R33:31fa785d44b0: Fix ideal size calculation of navigation widget
- Branches
- Unknown
- Tags
use pretty file name for window title
use pretty file name for window title
Authored by brauch on Jun 18 2016, 12:05 AM.
Tags
None
Subscribers
None