RODIN / Bugs / #767 Tactic profile editor has a tiny size under Linux

#767 Tactic profile editor has a tiny size under Linux

Milestone: unplanned

Status: closed-fixed

Owner: Nicolas Beauger

Labels: None

Priority: 5

Updated: 2017-09-22

Created: 2017-09-01

Creator: Nicolas Beauger

Private: No

Concerns Rodin 3.3 / Linux 64 bits.
No issue under Windows.
Unknown status under MacOS.

The tactic profile is about 2 lines high, which makes it unusable.

Discussion

Son Hoang - 2017-09-01

Seems OK for me on MacOS.
(I assme what you mean by the profile editor is the dialog for editing the tactics)

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Nicolas Beauger - 2017-09-21

It's actually the tactic viewer, where you have the list of all existing profiles, and the issue is about combined tactics (not parameterized).
Laurent also confirmed that it did not occur on MacOS.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Nicolas Beauger - 2017-09-22

status: open --> closed-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.