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
deadalnixPushed on May 14 2017, 22:04
Parents
rABCe5153095ea41: Merge pull request #5493
Branches
Unknown
Tags
Unknown

Event Timeline

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