Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000944Taste[All Projects] TASTE-IV/DVpublic2021-06-09 14:072021-06-22 14:01
Assigned Toellidiss 
PrioritynormalSeverityminorReproducibilityhave not tried
PlatformOSOS Version

MOSAR : improve the preferences management


1) The front modification (family/size), through the ini file or the preferences dialog box, is applied on all font.

The user can not choose a different font for the main interface and the textual viewers (especially if the user wants i fixed size font for the text)

2) The color of the function type/instance can not be changed in the preferences dialog box

3) The preference dialog box is a bit large and shll be split into tabs (common, IV and DV settings)

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
ellidiss (developer)
2021-06-10 13:49

this feature will be present in the 2.4.0 beta 30 version

- Issue History
Date Modified Username Field Change
2021-06-09 14:07 ellidiss New Issue
2021-06-09 14:07 ellidiss Status

new => assigned

2021-06-09 14:07 ellidiss Assigned To

=> ellidiss

2021-06-10 13:49 ellidiss Note Added: 0003786
2021-06-10 13:49 ellidiss Status

assigned => resolved

2021-06-10 13:49 ellidiss Resolution

open => fixed

2021-06-22 14:01 maxime Status

resolved => closed

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker