PageRenderTime 38ms CodeModel.GetById 25ms app.highlight 8ms RepoModel.GetById 1ms app.codeStats 0ms

/src/wrappers/gtk/library/gtk_text_tag.e

http://github.com/tybor/Liberty
Specman e | 1084 lines | 246 code | 342 blank | 496 comment | 4 complexity | d3d79f1fe6da1409de556f99efa90136 MD5 | raw file
   1indexing
   2	description: "GtkTextTag: A tag that can be applied to text in a GtkTextBuffer."
   3	copyright: "[
   4					Copyright (C) 2006 eiffel-libraries team, GTK+ team
   5					
   6					This library is free software; you can redistribute it and/or
   7					modify it under the terms of the GNU Lesser General Public License
   8					as published by the Free Software Foundation; either version 2.1 of
   9					the License, or (at your option) any later version.
  10					
  11					This library is distributed in the hope that it will be useful, but
  12					WITHOUT ANY WARRANTY; without even the implied warranty of
  13					MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14					Lesser General Public License for more details.
  15
  16					You should have received a copy of the GNU Lesser General Public
  17					License along with this library; if not, write to the Free Software
  18					Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  19					02110-1301 USA
  20				]"
  21
  22class GTK_TEXT_TAG
  23	-- A tag that can be applied to text in a GTK_TEXT_BUFFER.
  24
  25	-- You may wish to begin by reading the text widget conceptual
  26	-- overview which gives an overview of all the objects and data
  27	-- types related to the text widget and how they work together.
  28
  29	-- Tags should be in the GtkTextTagTable for a given GtkTextBuffer
  30	-- before using them with that buffer.
  31
  32	-- GTK_TEXT_BUFFER's `create_tag' is the best way to create
  33	-- tags. (TODO: translate gtk-demo from C to Eiffel for numerous
  34	-- examples).
  35
  36	-- The "invisible" property was not implemented for GTK+ 2.0; it's
  37	-- planned to be implemented in future releases.
  38
  39inherit G_OBJECT
  40
  41insert
  42	PANGO_WEIGHT
  43	PANGO_STYLE
  44	PANGO_UNDERLINE
  45	GTK
  46
  47creation make, with_name, from_external_pointer
  48
  49feature {} -- Creation
  50	make is
  51			-- Create a nameless GtkTextTag
  52		require gtk_initialized: gtk.is_initialized
  53		do
  54			from_external_pointer (gtk_text_tag_new (default_pointer))
  55		end
  56
  57	with_name (a_name: STRING) is
  58			-- Creates a GtkTextTag. Configure the tag using object
  59			-- arguments, i.e. using G_OBJECT.set().
  60		require
  61			gtk_initialized: gtk.is_initialized
  62			name_not_void: a_name /= Void
  63		do
  64			from_external_pointer(gtk_text_tag_new (a_name.to_external))
  65		ensure
  66			name.is_equal (a_name)
  67		end
  68
  69feature
  70	priority: INTEGER is
  71			-- the tag priority.
  72		do
  73			Result := gtk_text_tag_get_priority (handle)
  74		end
  75
  76	set_priority (a_priority: INTEGER) is
  77			-- Sets the priority of a GtkTextTag. Valid priorities are
  78			-- start at 0 and go to one less than
  79			-- gtk_text_tag_table_get_size(). Each tag in a table has a
  80			-- unique priority; setting the priority of one tag shifts
  81			-- the priorities of all the other tags in the table to
  82			-- maintain a unique priority for each tag. Higher priority
  83			-- tags "win" if two tags both set the same text
  84			-- attribute. When adding a tag to a tag table, it will be
  85			-- assigned the highest priority in the table by default; so
  86			-- normally the precedence of a set of tags is the order in
  87			-- which they were added to the table, or created with
  88			-- gtk_text_buffer_create_tag(), which adds the tag to the
  89			-- buffer's table automatically.
  90		do
  91			gtk_text_tag_set_priority (handle, a_priority)
  92		end
  93
  94
  95	-- TODO: wrap gtk_text_tag_event ()
  96
  97	--  gboolean gtk_text_tag_event (GtkTextTag *tag, GObject
  98	--  *event_object, GdkEvent *event, const GtkTextIter *iter);
  99
 100	--    Emits the "event" signal on the GtkTextTag.
 101	
 102	--    tag :          a GtkTextTag
 103	--    event_object : object that received the event, such as a widget
 104	--    event :        the event
 105	--    iter :         location where the event was received
 106	--    Returns :      result of signal emission (whether the event was handled)
 107	
 108feature -- TODO: Properties. Meanwhile you can use G_OBJECT.get_property/set_property
 109	
 110	--    "background"           gchararray            : Write
 111	
 112--    "background-full-height" gboolean              : Read / Write
 113--    "background-full-height-set" gboolean              : Read / Write
 114--    "background-gdk"       GdkColor              : Read / Write
 115--    "background-set"       gboolean              : Read / Write
 116--    "background-stipple"   GdkPixmap             : Read / Write
 117--    "background-stipple-set" gboolean              : Read / Write
 118--    "direction"            GtkTextDirection      : Read / Write
 119--    "editable"             gboolean              : Read / Write
 120--    "editable-set"         gboolean              : Read / Write
 121--    "family"               gchararray            : Read / Write
 122--    "family-set"           gboolean              : Read / Write
 123--    "font"                 gchararray            : Read / Write
 124--    "font-desc"            PangoFontDescription  : Read / Write
 125--    "foreground"           gchararray            : Write
 126--    "foreground-gdk"       GdkColor              : Read / Write
 127--    "foreground-set"       gboolean              : Read / Write
 128--    "foreground-stipple"   GdkPixmap             : Read / Write
 129--    "foreground-stipple-set" gboolean              : Read / Write
 130--    "indent"               gint                  : Read / Write
 131--    "indent-set"           gboolean              : Read / Write
 132--    "invisible"            gboolean              : Read / Write
 133--    "invisible-set"        gboolean              : Read / Write
 134--    "justification"        GtkJustification      : Read / Write
 135--    "justification-set"    gboolean              : Read / Write
 136--    "language"             gchararray            : Read / Write
 137--    "language-set"         gboolean              : Read / Write
 138--    "left-margin"          gint                  : Read / Write
 139--    "left-margin-set"      gboolean              : Read / Write
 140--    "name"                 gchararray            : Read / Write / Construct Only
 141--    "paragraph-background" gchararray            : Write
 142--    "paragraph-background-gdk" GdkColor              : Read / Write
 143--    "paragraph-background-set" gboolean              : Read / Write
 144--    "pixels-above-lines"   gint                  : Read / Write
 145--    "pixels-above-lines-set" gboolean              : Read / Write
 146--    "pixels-below-lines"   gint                  : Read / Write
 147--    "pixels-below-lines-set" gboolean              : Read / Write
 148--    "pixels-inside-wrap"   gint                  : Read / Write
 149--    "pixels-inside-wrap-set" gboolean              : Read / Write
 150--    "right-margin"         gint                  : Read / Write
 151--    "right-margin-set"     gboolean              : Read / Write
 152--    "rise"                 gint                  : Read / Write
 153--    "rise-set"             gboolean              : Read / Write
 154--    "scale"                gdouble               : Read / Write
 155--    "scale-set"            gboolean              : Read / Write
 156--    "size"                 gint                  : Read / Write
 157--    "size-points"          gdouble               : Read / Write
 158--    "size-set"             gboolean              : Read / Write
 159--    "stretch"              PangoStretch          : Read / Write
 160--    "stretch-set"          gboolean              : Read / Write
 161--    "strikethrough"        gboolean              : Read / Write
 162--    "strikethrough-set"    gboolean              : Read / Write
 163--    "style"                PangoStyle            : Read / Write
 164--    "style-set"            gboolean              : Read / Write
 165--    "tabs"                 PangoTabArray         : Read / Write
 166--    "tabs-set"             gboolean              : Read / Write
 167--    "underline"            PangoUnderline        : Read / Write
 168--    "underline-set"        gboolean              : Read / Write
 169--    "variant"              PangoVariant          : Read / Write
 170--    "variant-set"          gboolean              : Read / Write
 171--    "weight"               gint                  : Read / Write
 172--    "weight-set"           gboolean              : Read / Write
 173--    "wrap-mode"            GtkWrapMode           : Read / Write
 174--    "wrap-mode-set"        gboolean              : Read / Write
 175
 176-- Property Details
 177
 178--   The "background" property
 179
 180--    "background"           gchararray            : Write
 181
 182--    Background color as a string.
 183
 184--    Default value: NULL
 185
 186--    -------------------------------------------------------------------------------------
 187
 188--   The "background-full-height" property
 189
 190--    "background-full-height" gboolean              : Read / Write
 191
 192--    Whether the background color fills the entire line height or only the height of the
 193--    tagged characters.
 194
 195--    Default value: FALSE
 196
 197--    -------------------------------------------------------------------------------------
 198
 199--   The "background-full-height-set" property
 200
 201--    "background-full-height-set" gboolean              : Read / Write
 202
 203--    Whether this tag affects background height.
 204
 205--    Default value: FALSE
 206
 207--    -------------------------------------------------------------------------------------
 208
 209--   The "background-gdk" property
 210
 211--    "background-gdk"       GdkColor              : Read / Write
 212
 213--    Background color as a (possibly unallocated) GdkColor.
 214
 215--    -------------------------------------------------------------------------------------
 216
 217--   The "background-set" property
 218
 219--    "background-set"       gboolean              : Read / Write
 220
 221--    Whether this tag affects the background color.
 222
 223--    Default value: FALSE
 224
 225--    -------------------------------------------------------------------------------------
 226
 227--   The "background-stipple" property
 228
 229--    "background-stipple"   GdkPixmap             : Read / Write
 230
 231--    Bitmap to use as a mask when drawing the text background.
 232
 233--    -------------------------------------------------------------------------------------
 234
 235--   The "background-stipple-set" property
 236
 237--    "background-stipple-set" gboolean              : Read / Write
 238
 239--    Whether this tag affects the background stipple.
 240
 241--    Default value: FALSE
 242
 243--    -------------------------------------------------------------------------------------
 244
 245--   The "direction" property
 246
 247--    "direction"            GtkTextDirection      : Read / Write
 248
 249--    Text direction, e.g. right-to-left or left-to-right.
 250
 251--    Default value: GTK_TEXT_DIR_NONE
 252
 253--    -------------------------------------------------------------------------------------
 254
 255--   The "editable" property
 256
 257--    "editable"             gboolean              : Read / Write
 258
 259--    Whether the text can be modified by the user.
 260
 261--    Default value: TRUE
 262
 263--    -------------------------------------------------------------------------------------
 264
 265--   The "editable-set" property
 266
 267--    "editable-set"         gboolean              : Read / Write
 268
 269--    Whether this tag affects text editability.
 270
 271--    Default value: FALSE
 272
 273--    -------------------------------------------------------------------------------------
 274
 275--   The "family" property
 276
 277--    "family"               gchararray            : Read / Write
 278
 279--    Name of the font family, e.g. Sans, Helvetica, Times, Monospace.
 280
 281--    Default value: NULL
 282
 283--    -------------------------------------------------------------------------------------
 284
 285--   The "family-set" property
 286
 287--    "family-set"           gboolean              : Read / Write
 288
 289--    Whether this tag affects the font family.
 290
 291--    Default value: FALSE
 292
 293--    -------------------------------------------------------------------------------------
 294
 295feature --   The "font" property
 296
 297	set_font (a_font: STRING) is
 298		require
 299			a_font /= Void
 300		do
 301			set_string_property (font_property_name, a_font)
 302		end
 303
 304	font: STRING is
 305			-- Font description as string, e.g. "Sans Italic 12".
 306			-- Note that the initial value of this property depends on the
 307			-- internals of PangoFontDescription.
 308			-- Default value: Void
 309		local
 310			font_ptr: POINTER
 311		do
 312			g_object_get_one_property (handle, font_property_name.to_external, $font_ptr, default_pointer)
 313			if font_ptr.is_not_null then
 314				create Result.from_external (font_ptr)
 315			end
 316		end
 317
 318--    -------------------------------------------------------------------------------------
 319
 320--   The "font-desc" property
 321
 322--    "font-desc"            PangoFontDescription  : Read / Write
 323
 324--    Font description as a PangoFontDescription struct.
 325
 326--    -------------------------------------------------------------------------------------
 327
 328feature --   The "foreground" property          gchararray : Write
 329
 330	set_foreground (a_foreground: STRING) is
 331			-- Foreground color as a string.
 332			-- Default value: NULL
 333		require
 334			a_foreground /= Void
 335		do
 336			set_string_property (foreground_property_name, a_foreground)
 337		end
 338
 339--    -------------------------------------------------------------------------------------
 340
 341--   The "foreground-gdk" property
 342
 343--    "foreground-gdk"       GdkColor              : Read / Write
 344
 345--    Foreground color as a (possibly unallocated) GdkColor.
 346
 347--    -------------------------------------------------------------------------------------
 348
 349--   The "foreground-set" property
 350
 351--    "foreground-set"       gboolean              : Read / Write
 352
 353--    Whether this tag affects the foreground color.
 354
 355--    Default value: FALSE
 356
 357--    -------------------------------------------------------------------------------------
 358
 359--   The "foreground-stipple" property
 360
 361--    "foreground-stipple"   GdkPixmap             : Read / Write
 362
 363--    Bitmap to use as a mask when drawing the text foreground.
 364
 365--    -------------------------------------------------------------------------------------
 366
 367--   The "foreground-stipple-set" property
 368
 369--    "foreground-stipple-set" gboolean              : Read / Write
 370
 371--    Whether this tag affects the foreground stipple.
 372
 373--    Default value: FALSE
 374
 375--    -------------------------------------------------------------------------------------
 376
 377--   The "indent" property
 378
 379--    "indent"               gint                  : Read / Write
 380
 381--    Amount to indent the paragraph, in pixels.
 382
 383--    Default value: 0
 384
 385--    -------------------------------------------------------------------------------------
 386
 387--   The "indent-set" property
 388
 389--    "indent-set"           gboolean              : Read / Write
 390
 391--    Whether this tag affects indentation.
 392
 393--    Default value: FALSE
 394
 395--    -------------------------------------------------------------------------------------
 396
 397--   The "invisible" property
 398
 399--    "invisible"            gboolean              : Read / Write
 400
 401--    Whether this text is hidden.
 402
 403--    Note that there may still be problems with the support for invisible text, in
 404--    particular when navigating programmatically inside a buffer containing invisible
 405--    segments.
 406
 407--    Default value: FALSE
 408
 409--    Since 2.8
 410
 411--    -------------------------------------------------------------------------------------
 412
 413--   The "invisible-set" property
 414
 415--    "invisible-set"        gboolean              : Read / Write
 416
 417--    Whether this tag affects text visibility.
 418
 419--    Default value: FALSE
 420
 421--    -------------------------------------------------------------------------------------
 422
 423--   The "justification" property
 424
 425--    "justification"        GtkJustification      : Read / Write
 426
 427--    Left, right, or center justification.
 428
 429--    Default value: GTK_JUSTIFY_LEFT
 430
 431--    -------------------------------------------------------------------------------------
 432
 433--   The "justification-set" property
 434
 435--    "justification-set"    gboolean              : Read / Write
 436
 437--    Whether this tag affects paragraph justification.
 438
 439--    Default value: FALSE
 440
 441--    -------------------------------------------------------------------------------------
 442
 443--   The "language" property
 444
 445--    "language"             gchararray            : Read / Write
 446
 447--    The language this text is in, as an ISO code. Pango can use this as a hint when
 448--    rendering the text. If not set, an appropriate default will be used.
 449
 450--    Note that the initial value of this property depends on the current locale, see also
 451--    gtk_get_default_language().
 452
 453--    Default value: NULL
 454
 455--    -------------------------------------------------------------------------------------
 456
 457--   The "language-set" property
 458
 459--    "language-set"         gboolean              : Read / Write
 460
 461--    Whether this tag affects the language the text is rendered as.
 462
 463--    Default value: FALSE
 464
 465--    -------------------------------------------------------------------------------------
 466
 467--   The "left-margin" property
 468
 469--    "left-margin"          gint                  : Read / Write
 470
 471--    Width of the left margin in pixels.
 472
 473--    Allowed values: >= 0
 474
 475--    Default value: 0
 476
 477--    -------------------------------------------------------------------------------------
 478
 479--   The "left-margin-set" property
 480
 481--    "left-margin-set"      gboolean              : Read / Write
 482
 483--    Whether this tag affects the left margin.
 484
 485--    Default value: FALSE
 486
 487--    -------------------------------------------------------------------------------------
 488
 489feature -- The "name" property
 490
 491	name: STRING is
 492			-- Name used to refer to the text tag. Void for anonymous tags.
 493			-- Default value: Void
 494		local
 495			name_ptr: POINTER
 496		do
 497			g_object_get_one_property (handle, name_property_name.to_external, $name_ptr, default_pointer)
 498			if name_ptr.is_not_null then
 499				create Result.from_external (name_ptr)
 500			end
 501		end
 502
 503--    -------------------------------------------------------------------------------------
 504
 505--   The "paragraph-background" property
 506
 507--    "paragraph-background" gchararray            : Write
 508
 509--    The paragraph background color as a string.
 510
 511--    Default value: NULL
 512
 513--    Since 2.8
 514
 515--    -------------------------------------------------------------------------------------
 516
 517--   The "paragraph-background-gdk" property
 518
 519--    "paragraph-background-gdk" GdkColor              : Read / Write
 520
 521--    The paragraph background color as a as a (possibly unallocated) GdkColor.
 522
 523--    Since 2.8
 524
 525--    -------------------------------------------------------------------------------------
 526
 527--   The "paragraph-background-set" property
 528
 529--    "paragraph-background-set" gboolean              : Read / Write
 530
 531--    Whether this tag affects the paragraph background color.
 532
 533--    Default value: FALSE
 534
 535--    -------------------------------------------------------------------------------------
 536
 537--   The "pixels-above-lines" property
 538
 539--    "pixels-above-lines"   gint                  : Read / Write
 540
 541--    Pixels of blank space above paragraphs.
 542
 543--    Allowed values: >= 0
 544
 545--    Default value: 0
 546
 547--    -------------------------------------------------------------------------------------
 548
 549--   The "pixels-above-lines-set" property
 550
 551--    "pixels-above-lines-set" gboolean              : Read / Write
 552
 553--    Whether this tag affects the number of pixels above lines.
 554
 555--    Default value: FALSE
 556
 557--    -------------------------------------------------------------------------------------
 558
 559--   The "pixels-below-lines" property
 560
 561--    "pixels-below-lines"   gint                  : Read / Write
 562
 563--    Pixels of blank space below paragraphs.
 564
 565--    Allowed values: >= 0
 566
 567--    Default value: 0
 568
 569--    -------------------------------------------------------------------------------------
 570
 571--   The "pixels-below-lines-set" property
 572
 573--    "pixels-below-lines-set" gboolean              : Read / Write
 574
 575--    Whether this tag affects the number of pixels above lines.
 576
 577--    Default value: FALSE
 578
 579--    -------------------------------------------------------------------------------------
 580
 581--   The "pixels-inside-wrap" property
 582
 583--    "pixels-inside-wrap"   gint                  : Read / Write
 584
 585--    Pixels of blank space between wrapped lines in a paragraph.
 586
 587--    Allowed values: >= 0
 588
 589--    Default value: 0
 590
 591--    -------------------------------------------------------------------------------------
 592
 593--   The "pixels-inside-wrap-set" property
 594
 595--    "pixels-inside-wrap-set" gboolean              : Read / Write
 596
 597--    Whether this tag affects the number of pixels between wrapped lines.
 598
 599--    Default value: FALSE
 600
 601--    -------------------------------------------------------------------------------------
 602
 603--   The "right-margin" property
 604
 605--    "right-margin"         gint                  : Read / Write
 606
 607--    Width of the right margin in pixels.
 608
 609--    Allowed values: >= 0
 610
 611--    Default value: 0
 612
 613--    -------------------------------------------------------------------------------------
 614
 615--   The "right-margin-set" property
 616
 617--    "right-margin-set"     gboolean              : Read / Write
 618
 619--    Whether this tag affects the right margin.
 620
 621--    Default value: FALSE
 622
 623--    -------------------------------------------------------------------------------------
 624
 625feature -- The "rise" property
 626	--    "rise"                 gint                  : Read / Write
 627
 628	rise: INTEGER is
 629			-- Offset of text above the baseline (below the baseline
 630			-- if rise is negative) in Pango units. Default value: 0
 631		do
 632			Result := integer_property (rise_property_name)
 633		end
 634
 635	set_rise (a_rise: INTEGER) is
 636			-- The "rise" property
 637		do
 638			set_integer_property (rise_property_name, a_rise)
 639		end
 640
 641--    -------------------------------------------------------------------------------------
 642
 643--   The "rise-set" property
 644
 645--    "rise-set"             gboolean              : Read / Write
 646
 647--    Whether this tag affects the rise.
 648
 649--    Default value: FALSE
 650
 651--    -------------------------------------------------------------------------------------
 652
 653feature --   The "scale" property
 654	--    "scale"                gdouble               : Read / Write
 655
 656	scale: REAL is 
 657			-- Font size as a scale factor relative to the default font
 658			-- size. This properly adapts to theme changes etc. so is
 659			-- recommended. Pango predefines some scales such as
 660			-- PANGO_SCALE_X_LARGE. Default value: 1
 661		do
 662
 663		ensure valid: Result >= 0
 664		end
 665
 666	set_scale (a_scale: REAL) is
 667		require valid_scale: a_scale >= 0
 668		do
 669		end
 670
 671
 672--    -------------------------------------------------------------------------------------
 673
 674--   The "scale-set" property
 675
 676--    "scale-set"            gboolean              : Read / Write
 677
 678--    Whether this tag scales the font size by a factor.
 679
 680--    Default value: FALSE
 681
 682--    -------------------------------------------------------------------------------------
 683
 684feature --   The "size" property
 685	--    "size"                 gint                  : Read / Write
 686
 687	set_size (a_size: INTEGER) is
 688			-- Set "size" property
 689		require valid_size: a_size >= 0
 690		do
 691			set_integer_property (size_property_name, a_size)
 692		end
 693
 694	size: INTEGER is
 695			--    Font size in Pango units.
 696		do
 697			g_object_get_one_property (handle, size_property_name.to_external, $Result, default_pointer)
 698		end
 699
 700--   The "size-points" property
 701
 702--    "size-points"          gdouble               : Read / Write
 703
 704--    Font size in points.
 705
 706--    Allowed values: >= 0
 707
 708--    Default value: 0
 709
 710--    -------------------------------------------------------------------------------------
 711
 712--   The "size-set" property
 713
 714--    "size-set"             gboolean              : Read / Write
 715
 716--    Whether this tag affects the font size.
 717
 718--    Default value: FALSE
 719
 720--    -------------------------------------------------------------------------------------
 721
 722--   The "stretch" property
 723
 724--    "stretch"              PangoStretch          : Read / Write
 725
 726--    Font stretch as a PangoStretch, e.g. PANGO_STRETCH_CONDENSED.
 727
 728--    Default value: PANGO_STRETCH_NORMAL
 729
 730--    -------------------------------------------------------------------------------------
 731
 732--   The "stretch-set" property
 733
 734--    "stretch-set"          gboolean              : Read / Write
 735
 736--    Whether this tag affects the font stretch.
 737
 738--    Default value: FALSE
 739
 740--    -------------------------------------------------------------------------------------
 741
 742--   The "strikethrough" property
 743
 744--    "strikethrough"        gboolean              : Read / Write
 745
 746--    Whether to strike through the text.
 747
 748--    Default value: FALSE
 749
 750--    -------------------------------------------------------------------------------------
 751
 752--   The "strikethrough-set" property
 753
 754--    "strikethrough-set"    gboolean              : Read / Write
 755
 756--    Whether this tag affects strikethrough.
 757
 758--    Default value: FALSE
 759
 760--    -------------------------------------------------------------------------------------
 761
 762feature --   The "style" property
 763
 764	set_style (a_style: INTEGER) is
 765		require
 766			valid: is_valid_pango_style (a_style)
 767		do
 768			set_enum_property (style_property_name, a_style)
 769		end
 770
 771	style: INTEGER is
 772			-- Font style as a PANGO_STYLE, see predefined values in
 773			-- PANGO_WEIGHT; for example, pango_style_normal.
 774			-- Default value: PANGO_STYLE_NORMAL
 775		do
 776			g_object_get_one_property (handle, style_property_name.to_external, $Result, default_pointer)
 777		ensure
 778			valid: is_valid_pango_style (Result)
 779		end
 780	
 781--    -------------------------------------------------------------------------------------
 782
 783--   The "style-set" property
 784
 785--    "style-set"            gboolean              : Read / Write
 786
 787--    Whether this tag affects the font style.
 788
 789--    Default value: FALSE
 790
 791--    -------------------------------------------------------------------------------------
 792
 793--   The "tabs" property
 794
 795--    "tabs"                 PangoTabArray         : Read / Write
 796
 797--    Custom tabs for this text.
 798
 799--    -------------------------------------------------------------------------------------
 800
 801--   The "tabs-set" property
 802
 803--    "tabs-set"             gboolean              : Read / Write
 804
 805--    Whether this tag affects tabs.
 806
 807--    Default value: FALSE
 808
 809--    -------------------------------------------------------------------------------------
 810
 811	set_underline (an_underline: INTEGER) is
 812		require
 813			valid: is_valid_pango_underline (an_underline)
 814		do
 815			set_enum_property (underline_property_name, an_underline)
 816		end
 817
 818	underline: INTEGER is
 819			--    Style of underline for this text.
 820			--    Default value: pango_underline_none
 821		do
 822			g_object_get_one_property (handle, underline_property_name.to_external, $Result, default_pointer)
 823		ensure
 824			valid: is_valid_pango_underline (Result)
 825		end
 826
 827--    -------------------------------------------------------------------------------------
 828
 829--   The "underline-set" property
 830
 831--    "underline-set"        gboolean              : Read / Write
 832
 833--    Whether this tag affects underlining.
 834
 835--    Default value: FALSE
 836
 837--    -------------------------------------------------------------------------------------
 838
 839--   The "variant" property
 840
 841--    "variant"              PangoVariant          : Read / Write
 842
 843--    Font variant as a PangoVariant, e.g. PANGO_VARIANT_SMALL_CAPS.
 844
 845--    Default value: PANGO_VARIANT_NORMAL
 846
 847--    -------------------------------------------------------------------------------------
 848
 849--   The "variant-set" property
 850
 851--    "variant-set"          gboolean              : Read / Write
 852
 853--    Whether this tag affects the font variant.
 854
 855--    Default value: FALSE
 856
 857--    -------------------------------------------------------------------------------------
 858
 859	set_weight (a_weight: INTEGER) is
 860		require
 861			valid: is_valid_pango_weight (a_weight)
 862		do
 863			set_integer_property (weight_property_name, a_weight)
 864		end
 865
 866	weight: INTEGER is
 867			-- Font weight as an integer, see predefined values in
 868			-- PANGO_WEIGHT; for example, pango_weight_bold.
 869			-- Default value: 400
 870		do
 871			g_object_get_one_property (handle, weight_property_name.to_external, $Result, default_pointer)
 872		ensure
 873			valid: is_valid_pango_weight (Result)
 874		end
 875	
 876--    -------------------------------------------------------------------------------------
 877
 878feature --   The "wrap-mode" property
 879	-- "wrap-mode" GtkWrapMode : Read / Write
 880
 881	wrap_mode: INTEGER is
 882			-- Whether to wrap lines never, at word boundaries, or at
 883			-- character boundaries. Default value: `gtk_wrap_none'
 884		obsolete "integer_property should be enum"
 885		do
 886			Result := integer_property (wrap_mode_property_name)
 887		ensure valid: is_valid_gtk_wrap_mode (Result)
 888		end
 889	
 890	set_wrap_mode (a_mode: INTEGER) is
 891			-- Set `wrap-mode' property.
 892		require valid_mode: is_valid_gtk_wrap_mode (a_mode)
 893		do
 894			set_integer_property (wrap_mode_property_name, a_mode)
 895		end
 896
 897feature --   The "wrap-mode-set" property
 898
 899--    "wrap-mode-set"        gboolean              : Read / Write
 900
 901--    Whether this tag affects line wrap mode.
 902
 903--    Default value: FALSE
 904
 905feature -- TODO: Signals
 906
 907
 908--  "event"     gboolean    user_function      (GtkTextTag  *texttag,
 909--                                              GObject     *arg1,
 910--                                              GdkEvent    *event,
 911--                                              GtkTextIter *arg2,
 912--                                              gpointer     user_data)      : Run last
 913
 914
 915-- Signal Details
 916
 917--   The "event" signal
 918
 919--  gboolean    user_function                  (GtkTextTag  *texttag,
 920--                                              GObject     *arg1,
 921--                                              GdkEvent    *event,
 922--                                              GtkTextIter *arg2,
 923--                                              gpointer     user_data)      : Run last
 924
 925--    texttag :   the object which received the signal.
 926--    arg1 :
 927--    event :
 928--    arg2 :
 929--    user_data : user data set when the signal handler was connected.
 930--    Returns :
 931
 932feature {} -- Properties names
 933	
 934	background_property_name: STRING is "background"	
 935			-- gchararray : Write
 936	background_full_height_property_name: STRING is "background-full-height"	
 937			-- gboolean : Read / Write
 938	background_full_height_set_property_name: STRING is "background-full-height-set"	
 939			-- gboolean : Read / Write
 940	background_gdk_property_name: STRING is "background-gdk"	
 941			-- GdkColor : Read / Write
 942	background_set_property_name: STRING is "background-set"	
 943			-- gboolean : Read / Write
 944	background_stipple_property_name: STRING is "background-stipple"	
 945			-- GdkPixmap : Read / Write
 946	background_stipple_set_property_name: STRING is "background-stipple-set"
 947			-- gboolean : Read / Write
 948	direction_property_name: STRING is "direction"	
 949			-- GtkTextDirection : Read / Write
 950	editable_property_name: STRING is "editable"	
 951			-- gboolean : Read / Write
 952	editable_set_property_name: STRING is "editable-set"	
 953			-- gboolean : Read / Write
 954	family_property_name: STRING is "family"	
 955			-- gchararray : Read / Write
 956	family_set_property_name: STRING is "family-set"	
 957			-- gboolean : Read / Write
 958	font_property_name: STRING is "font"	
 959			-- gchararray : Read / Write
 960	font_desc_property_name: STRING is "font-desc"	
 961			-- PangoFontDescription : Read / Write
 962	foreground_property_name: STRING is "foreground"	
 963			-- gchararray : Write
 964	foreground_gdk_property_name: STRING is "foreground-gdk"	
 965			-- GdkColor : Read / Write
 966	foreground_set_property_name: STRING is "foreground-set"	
 967			-- gboolean : Read / Write
 968	foreground_stipple_property_name: STRING is "foreground-stipple"	
 969			-- GdkPixmap : Read / Write
 970	foreground_stipple_set_property_name: STRING is "foreground-stipple-set"	
 971			-- gboolean : Read / Write
 972	indent_property_name: STRING is "indent"	
 973			-- gint : Read / Write
 974	indent_set_property_name: STRING is "indent-set"	
 975			-- gboolean : Read / Write
 976	invisible_property_name: STRING is "invisible"	
 977			-- gboolean : Read / Write
 978	invisible_set_property_name: STRING is "invisible-set"	
 979			-- gboolean : Read / Write
 980	justification_property_name: STRING is "justification"	
 981			-- GtkJustification : Read / Write
 982	justification_set_property_name: STRING is "justification-set"	
 983			-- gboolean : Read / Write
 984	language_property_name: STRING is "language"	
 985			-- gchararray : Read / Write
 986	language_set_property_name: STRING is "language-set"	
 987			-- gboolean : Read / Write
 988	left_margin_property_name: STRING is "left-margin"	
 989			-- gint : Read / Write
 990	left_margin_set_property_name: STRING is "left-margin-set"	
 991			-- gboolean : Read / Write
 992	name_property_name: STRING is "name"	
 993			-- gchararray : Read / Write / Construct Only
 994	paragraph_background_property_name: STRING is "paragraph-background"	
 995			-- gchararray : Write
 996	paragraph_background_gdk_property_name: STRING is "paragraph-background-gdk"	
 997			-- GdkColor : Read / Write
 998	paragraph_background_set_property_name: STRING is "paragraph-background-set"	
 999			-- gboolean : Read / Write
1000	pixels_above_lines_property_name: STRING is "pixels-above-lines"	
1001			-- gint : Read / Write
1002	pixels_above_lines_set_property_name: STRING is "pixels-above-lines-set"	
1003			-- gboolean : Read / Write
1004	pixels_below_lines_property_name: STRING is "pixels-below-lines"	
1005			-- gint : Read / Write
1006	pixels_below_lines_set_property_name: STRING is "pixels-below-lines-set"	
1007			-- gboolean : Read / Write
1008	pixels_inside_wrap_property_name: STRING is "pixels-inside-wrap"	
1009			-- gint : Read / Write
1010	pixels_inside_wrap_set_property_name: STRING is "pixels-inside-wrap-set"	
1011			-- gboolean : Read / Write
1012	right_margin_property_name: STRING is "right-margin"	
1013			-- gint : Read / Write
1014	right_margin_set_property_name: STRING is "right-margin-set"	
1015			-- gboolean : Read / Write
1016	rise_property_name: STRING is "rise"	
1017			-- gint : Read / Write
1018	rise_set_property_name: STRING is "rise-set"	
1019			-- gboolean : Read / Write
1020	scale_property_name: STRING is "scale"	
1021			-- gdouble : Read / Write
1022	scale_set_property_name: STRING is "scale-set"	
1023			-- gboolean : Read / Write
1024	size_property_name: STRING is "size"	
1025			-- gint : Read / Write
1026	size_points_property_name: STRING is "size-points"	
1027			-- gdouble : Read / Write
1028	size_set_property_name: STRING is "size-set"	
1029			-- gboolean : Read / Write
1030	stretch_property_name: STRING is "stretch"	
1031			-- PangoStretch : Read / Write
1032	stretch_set_property_name: STRING is "stretch-set"	
1033			-- gboolean : Read / Write
1034	strikethrough_property_name: STRING is "strikethrough"	
1035			-- gboolean : Read / Write
1036	strikethrough_set_property_name: STRING is "strikethrough-set"	
1037			-- gboolean : Read / Write
1038	style_property_name: STRING is "style"	
1039			-- PangoStyle : Read / Write
1040	style_set_property_name: STRING is "style-set"	
1041			-- gboolean : Read / Write
1042	tabs_property_name: STRING is "tabs"	
1043			-- PangoTabArray : Read / Write
1044	tabs_set_property_name: STRING is "tabs-set"	
1045			-- gboolean : Read / Write
1046	underline_property_name: STRING is "underline"	
1047			-- PangoUnderline : Read / Write
1048	underline_set_property_name: STRING is "underline-set"	
1049			-- gboolean : Read / Write
1050	variant_property_name: STRING is "variant"	
1051			-- PangoVariant : Read / Write
1052	variant_set_property_name: STRING is "variant-set"	
1053			-- gboolean : Read / Write
1054	weight_property_name: STRING is "weight"	
1055			-- gint : Read / Write
1056	weight_set_property_name: STRING is "weight-set"
1057			-- gboolean : Read / Write
1058	wrap_mode_property_name: STRING is "wrap-mode"
1059			-- GtkWrapMode : Read / Write
1060	wrap_mode_set_property_name: STRING is "wrap-mode-set"
1061			-- gboolean : Read / Write
1062
1063feature -- size
1064	struct_size: INTEGER is
1065		external "C inline use <gtk/gtk.h>"
1066		alias "sizeof(GtkTextTag)"
1067		end
1068
1069feature {} -- External calls
1070	gtk_text_tag_new (a_const_name: POINTER): POINTER is -- GtkTextTag*
1071		external "C use <gtk/gtk.h>"
1072		end
1073	gtk_text_tag_get_priority (a_gtktexttag: POINTER): INTEGER is
1074		external "C use <gtk/gtk.h>"
1075		end
1076
1077	gtk_text_tag_set_priority (a_gtktexttag: POINTER; a_priority: INTEGER) is
1078		external "C use <gtk/gtk.h>"
1079		end
1080
1081	gtk_text_tag_event (a_gtktexttag, an_event_object, a_gdkevent,  a_const_gtktextiter: POINTER): INTEGER is -- gboolean
1082		external "C use <gtk/gtk.h>"
1083		end
1084end