Home
last modified time | relevance | path

Searched refs:flip_margin_bottom (Results 1 – 2 of 2) sorted by relevance

/dports/devel/godot2/godot-2.1.6-stable/editor/
H A Deditor_export_godot3.cpp512 int flip_margin_bottom = false; in _rename_properties() local
609 flip_margin_bottom = true; in _rename_properties()
625 flip_margin_bottom = true; in _rename_properties()
687 if (flip_margin_left || flip_margin_right || flip_margin_top || flip_margin_bottom) { in _rename_properties()
696 (flip_margin_bottom && E->get().name == "margin_bottom")) { in _rename_properties()
/dports/devel/godot2-tools/godot-2.1.6-stable/editor/
H A Deditor_export_godot3.cpp512 int flip_margin_bottom = false; in _rename_properties() local
609 flip_margin_bottom = true; in _rename_properties()
625 flip_margin_bottom = true; in _rename_properties()
687 if (flip_margin_left || flip_margin_right || flip_margin_top || flip_margin_bottom) { in _rename_properties()
696 (flip_margin_bottom && E->get().name == "margin_bottom")) { in _rename_properties()