# HG changeset patch # User jwe # Date 1200380235 0 # Node ID 46b58515067d9bd8fe81a72ddc2c33c041e21aa1 # Parent b052b844e09445f64527bbb73b133b65b8eb59a3 [project @ 2008-01-15 06:57:15 by jwe] diff -r b052b844e094 -r 46b58515067d src/ChangeLog --- a/src/ChangeLog Tue Jan 15 01:18:40 2008 +0000 +++ b/src/ChangeLog Tue Jan 15 06:57:15 2008 +0000 @@ -1,3 +1,11 @@ +2008-01-15 Shai Ayal + + * graphics.h.in (class line::properties): New properties: + displayname, erasemode. + (class text::properties) New properties: backgroundcolor, + displayname, edgecolor, erase_mode, editing, fontunits, linestyle, + linewidth, margin, verticalalignment. + 2008-01-14 John W. Eaton * load-path.cc (load_path::do_initialize): Start with sys_path empty. diff -r b052b844e094 -r 46b58515067d src/graphics.h.in --- a/src/graphics.h.in Tue Jan 15 01:18:40 2008 +0000 +++ b/src/graphics.h.in Tue Jan 15 06:57:15 2008 +0000 @@ -2048,6 +2048,8 @@ double_property markersize , 6 string_property keylabel , "" radio_property interpreter a , "{tex}|none|latex" + string_property displayname , "" + radio_property erase_mode , "{normal}|none|xor|background" END_PROPERTIES }; @@ -2134,6 +2136,16 @@ radio_property fontangle a , "{normal}|italic|oblique" radio_property fontweight a , "light|{normal}|demi|bold" radio_property interpreter a , "{tex}|none|latex" + color_property backgroundcolor , "{none}" + string_property displayname , "" + color_property edgecolor , "{none}" + radio_property erase_mode , "{normal}|none|xor|background" + bool_property editing , "off" + radio_property fontunits , "inches|centimeters|normalized|{points}|pixel" + radio_property linestyle , "{-}|--|:|-.|none" + double_property linewidth , 0.5 + double_property margin , 1 + radio_property verticalalignment , "top|cap|{middle}|baseline|bottom" END_PROPERTIES protected: