Package Graphics.Pixmaps.Sets.Simple

Simple implementations of the pixmap set

Class Simple_Pixmap_Set

extends Graphics.Pixmaps.Sets.Pixmap_Set

This is a simple pixmap set which contains three sizes: tiny (50%), small (75%), normal (100%). The sizes are not garanteed but it is recommended to use them. The normal pixmap is regarded as the default pixmap.

Attributes

private Graphics.Pixmaps.Pixmap Tiny_Pixmap 

the tiny pixmap

private Graphics.Pixmaps.Pixmap Small_Pixmap 

the small pixmap

private Graphics.Pixmaps.Pixmap Normal_Pixmap 

the normal pixmap

Operations

public Load_Pixmaps ( String Prefix , String Suffix , Gdk.GC.Gdk_GC GC );

Loads the pixmaps. For the tiny version, "TINY" is inserted between the given prefix and suffix. For the small version "SMALL" and for the normal version "NORMAL".

public Graphics.Pixmaps.Pixmap Get_Pixmap ( Graphics.Area_Sizes.Area_Size Size );

Returns a pixmap matching the given size. The size of the returned pixmap might not have exactly the requested size. [This description is adopted from 'Graphics.Pixmaps.Sets.Pixmap_Set'.]

public Graphics.Pixmaps.Pixmap Get_Pixmap ( Glib.Gfloat Size );

Returns a pixmap matching the given size. 1.0 is the default size. The size of the returned pixmap might not have exactly the requested size. [This description is adopted from 'Graphics.Pixmaps.Sets.Pixmap_Set'.]

public Graphics.Area_Sizes.Area_Size Get_Default_Size (void);

Returns the default size. [This description is adopted from 'Graphics.Pixmaps.Sets.Pixmap_Set'.]

public Graphics.Pixmaps.Pixmap Get_Default_Pixmap (void);

Returns the default pixmap. This is the same as Get_Pixmap (pixset, Get_Default_Size (pixset)). [This description is adopted from 'Graphics.Pixmaps.Sets.Pixmap_Set'.]