Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004677OCamlOCaml generalpublic2008-12-28 14:182014-09-23 17:21
ReporterOutsider 
Assigned To 
PrioritynormalSeveritytextReproducibilityalways
StatusconfirmedResolutionopen 
PlatformOSOS Version
Product Version3.11.0+beta 
Target Version4.02.2+devFixed in Version 
Summary0004677: set_text_size doesn't work
DescriptionIt is like I said : it doesn't work and it bothers me.
I have to create a little game and I hoped to changed things the way I liked.
It is not a major problem but it could be better to fix this problem.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0010008)
doligez (administrator)
2013-07-30 11:35

Under X window, you're probably better off using set_font instead, as the font name includes the size.

- Issue History
Date Modified Username Field Change
2008-12-28 14:18 Outsider New Issue
2009-04-27 16:54 doligez Status new => acknowledged
2012-09-06 16:44 doligez Target Version => 4.00.1+dev
2012-09-17 13:37 doligez Status acknowledged => confirmed
2012-09-17 13:37 doligez Target Version 4.00.1+dev => 4.01.0+dev
2013-07-30 11:35 doligez Note Added: 0010008
2013-07-30 11:35 doligez Target Version 4.01.0+dev => 4.02.0+dev
2014-07-16 20:31 doligez Target Version 4.02.0+dev => 4.02.1+dev
2014-09-04 00:25 doligez Target Version 4.02.1+dev => undecided
2014-09-23 17:21 doligez Target Version undecided => 4.02.2+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker