Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 91094
Collapse All | Expand All

(-)php-gtk-1.0.1/ext/gtkhtml/gtkhtml.defs (-5 / +8 lines)
Lines 345-353 Link Here
345
  (of-object HTML (Gtk))
345
  (of-object HTML (Gtk))
346
  (c-name gtk_html_request_paste)
346
  (c-name gtk_html_request_paste)
347
  (return-type none)
347
  (return-type none)
348
   (parameter (type-and-name GdkAtom   selection))
348
   (parameter (type-and-name GdkAtom   selection)) 
349
   (parameter (type-and-name  gint      type))
349
   (parameter (type-and-name gint      type))
350
   (parameter (type-and-name   gint32    time))
350
   (parameter (type-and-name gint32    time))
351
   (parameter (type-and-name gboolean  as_cite))
351
)
352
)
352
353
353
;; Loading
354
;; Loading
Lines 514-520 Link Here
514
  (of-object HTML (Gtk))
515
  (of-object HTML (Gtk))
515
  (c-name gtk_html_set_indent)
516
  (c-name gtk_html_set_indent)
516
  (return-type none)
517
  (return-type none)
517
  (parameter (type-and-name gint level))
518
  (parameter (type-and-name GByteArray level))
518
)
519
)
519
520
520
(method modify_indent_by_delta
521
(method modify_indent_by_delta
Lines 574-585 Link Here
574
  (of-object HTML (Gtk))
575
  (of-object HTML (Gtk))
575
  (c-name gtk_html_paste)
576
  (c-name gtk_html_paste)
576
  (return-type none)
577
  (return-type none)
578
  (parameter (type-and-name gboolean as_cite))
577
)    
579
)    
578
(method undo
580
(method undo
579
  (of-object HTML (Gtk))
581
  (of-object HTML (Gtk))
580
  (c-name gtk_html_undo)
582
  (c-name gtk_html_undo)
581
  (return-type none)
583
  (return-type none)
582
)    
584
)
585
583
(method redo
586
(method redo
584
  (of-object HTML (Gtk))
587
  (of-object HTML (Gtk))
585
  (c-name gtk_html_redo)
588
  (c-name gtk_html_redo)
(-)php-gtk-1.0.1/ext/gtkhtml/gtkhtml.overrides (-1 / +1 lines)
Lines 1070-1076 Link Here
1070
	widget = php_gtk_shift_to_iframe_parent (widget, &x, &y);
1070
	widget = php_gtk_shift_to_iframe_parent (widget, &x, &y);
1071
1071
1072
	engine = GTK_HTML (widget)->engine;
1072
	engine = GTK_HTML (widget)->engine;
1073
	if (GTK_HTML (widget)->button1_pressed && html_engine_get_editable (engine))
1073
	if (/* GTK_HTML (widget)->button1_pressed && */ html_engine_get_editable (engine))
1074
		html_engine_jump_at (engine,
1074
		html_engine_jump_at (engine,
1075
				     x + engine->x_offset,
1075
				     x + engine->x_offset,
1076
				     y + engine->y_offset);
1076
				     y + engine->y_offset);

Return to bug 91094