The current Window of this activity

This attribute is set by push_window.

Property definitions

app :: ui $ App :: window=
	# The current `Window` of this activity
	#
	# This attribute is set by `push_window`.
	var window: Window is noinit
lib/app/ui.nit:44,2--47,29

linux :: ui $ App :: window=
	redef fun window=(window)
	do
		var root_view = window.view
		assert root_view != null
		native_stack.add root_view.native
		native_stack.visible_child = root_view.native

		# FIXME These settings forces the GTK window to resize to its minimum
		# size when changing app.nit windows. It is not pretty, but it could be
		# improved with GTK 3.18 and interpolate_size.
		native_window.resizable = false

		native_window.show_all

		super

		if window.enable_back_button then
			back_button.native.show
		else back_button.native.hide
	end
lib/linux/ui.nit:79,2--98,4

android :: ui $ App :: window=
	redef fun window=(window)
	do
		native_activity.show_fragment(root_layout_id, window.native)
		super
	end
lib/android/ui/ui.nit:77,2--81,4