1
92%
master: 92%

Ran 13 Apr 2019 05:23AM UTC

Files 121

Run time 4s

Badge

Embed ▾

Committed 13 Apr 2019 05:18AM UTC coverage: 87.801%. Remained the same

Job # 1049.1

Build Type

push

travis-ci

Committed by

truegitnovice

Commit Message

Ui: update `GuiSettings#DEFAULT_WIDTH` and `MainWindow.fxml` (#212)

`GuiSettings#DEFAULT_WIDTH` does not match the minimum width of the root
element in `MainWindow.fxml`. Also, the `minWidth` of the Requirement
Categories panel needs to be increased, as the title of the panel can
become truncated if the width of the application window is minimum.

Let's update `GuiSettings#DEFAULT_WIDTH` to match `MainWindow.fxml`, and
let's also rescale the `minWidth` of all the main panels in
`MainWindow.fxml`.

Run Details

2807 of 3197 relevant lines covered (87.8%)

0.88 hits per line

CS2113-AY1819S2-T09-1 / main / 1049 / 1
92%
master: 92%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1049.1

CS2113-AY1819S2-T09-1 / main / 1049 / 1 92% master: 92%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1049.1

CS2113-AY1819S2-T09-1 / main / 1049 / 1
92%
master: 92%

README BADGES
x