HomePhabricator

Make the command-line-args dialog better
e179eb3d9bfeUnpublished

Unpublished Commit ยท Learn More

Repository Importing: This repository is still importing.

Description

Make the command-line-args dialog better

Instead of using a fixed-width font in a label, which virtually
guarentees a horizontal scrollbar, use a proper text-document
that can re-layout based on user input.

Details

Provenance
Thomas Zander <thomas@thomaszander.se>Authored on Dec 28 2014, 23:25
schancelPushed on Jan 5 2018, 21:58
schancelPushed on Jan 5 2018, 21:39
schancelPushed on Jan 5 2018, 21:17
Parents
rSTAGINGe5153095ea41: Merge pull request #5493
Branches
Unknown
Tags
Unknown

Event Timeline

Thomas Zander <thomas@thomaszander.se> committed rSTAGINGe179eb3d9bfe: Make the command-line-args dialog better (authored by Thomas Zander <thomas@thomaszander.se>).Jan 5 2015, 20:17