Ticket #7594 (closed: fixed)
Change default margin value
| Reported by: | Gesner Passos | Owned by: | Gesner Passos |
|---|---|---|---|
| Priority: | trivial | Milestone: | Release 3.0 |
| Component: | Framework | Keywords: | Calibration |
| Cc: | Blocked By: | ||
| Blocking: | Tester: | Jay Rainey |
Description
Almost all the examples work better with margin = 15. So change it to 15.
Change History
comment:3 Changed 7 years ago by Gesner Passos
Change the default parameter for margin
re #7594
Changeset: 28acb048293a36b897c2e32f1eac339bffab751a
comment:4 Changed 7 years ago by Gesner Passos
Update the documentation and examples considering new margin
with the new default parameter, the examples and documentation need some updates.
re #7594
Changeset: 9d597a39d6d960952ad09c6f35114c925376bc6a
comment:5 Changed 7 years ago by Gesner Passos
Correct the images of extendedmargin to changemargin
re #7594
Changeset: 7b7e38de2ca406aaaac1f159bdf20114f2d87f24
comment:6 Changed 7 years ago by Gesner Passos
- Status changed from inprogress to verify
- Resolution set to fixed
Tester:
This is mainly about documentation and probably a code review is sufficient.
Further tests could be:
- Check that the examples are working well
- Check that the documentation produced using make sphinx-html still makes sense where margin was mentioned.
comment:7 Changed 7 years ago by Jay Rainey
- Status changed from verify to verifying
- Tester set to Jay Rainey
comment:8 Changed 7 years ago by Jay Rainey
- Status changed from verifying to closed
Merge remote-tracking branch 'origin/feature/7594_correct_margin'
comment:9 Changed 7 years ago by Jay Rainey
- Documentation is easy to read and understand.
- Margin successfully changed to 15.
comment:10 Changed 5 years ago by Stuart Campbell
This ticket has been transferred to github issue 8439
Note: See
TracTickets for help on using
tickets.
0.5 day