Ticket #40505: diffpatch_gList.ml.patch

File diffpatch_gList.ml.patch, 500 bytes (added by mathias.habluetzel@…, 11 years ago)

Patchfile

  • gList.ml

    old new  
    126126  method set_vadjustment adj =
    127127    CList.set_vadjustment obj (GData.as_adjustment adj)
    128128  method set_shadow_type = CList.set_shadow_type obj
    129   method set_button_actions = CList.set_button_actions obj
    130129  method set_selection_mode = CList.set_selection_mode obj
    131130  method set_reorderable = CList.set_reorderable obj
    132131  method set_use_drag_icons = CList.set_use_drag_icons obj