Some gtk+3 still use gtk_widget_set_margin_left/right, not start/end

[pete4abw]

In version gtk+3-3.8.2, it still uses gtk_widget_set_margin_left and gtk_widget_set_margin_right functions, not gtk_widget_set_margin_start/end. file gtktechnology.c needs to be updated for successful compilation and linking. Not sure which version implemented the change to start/end though.

src/src_connman_ui_gtk-gtktechnology.o: In function gtk_technology_init': gtktechnology.c:(.text+0x377): undefined reference togtk_widget_set_margin_start' gtktechnology.c:(.text+0x384): undefined reference to gtk_widget_set_margin_end' gtktechnology.c:(.text+0x3a7): undefined reference togtk_widget_set_margin_start' gtktechnology.c:(.text+0x3b4): undefined reference to `gtk_widget_set_margin_end'

bash-4.2# sed -e 's/gtk_widget_set_margin_start/gtk_widget_set_margin_left/g' -i gtktechnology.c bash-4.2# sed -e 's/gtk_widget_set_margin_end/gtk_widget_set_margin_right/g' -i gtktechnology.c

fixes all.

[pete4abw]

gtk_widget_set_margin_start/end is from gtk+3 version 3.12 onward, left/right deprecated from then. Same with the get_margin functions.