native_fragment
# Replace the currently visible fragment, if any, with `native_fragment`
private fun show_fragment(root_layout_id: Int, native_fragment: Android_app_Fragment)
in "Java" `{
android.app.FragmentTransaction transaction = self.getFragmentManager().beginTransaction();
transaction.replace((int)root_layout_id, native_fragment);
transaction.commit();
`}
lib/android/ui/ui.nit:57,2--63,3