Home
Phabricator
Search
Log In
Diffusion
Kile
e161e7cb6cc7
Fix margins on Windows in the ConfigChecker dialog
e161e7cb6cc7
Actions
Authored by
mludwig
on Oct 13 2019, 12:48 PM.
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
None
Subscribers
None
Description
Fix margins on Windows in the ConfigChecker dialog
Details
Committed
mludwig
Oct 13 2019, 12:48 PM
Parents
R468:ba5941809cd5: Some margin fixes
Branches
Unknown
Tags
Unknown
mludwig
committed
R468:e161e7cb6cc7: Fix margins on Windows in the ConfigChecker dialog
(authored by
mludwig
).
Oct 13 2019, 12:48 PM