Property definitions

android $ Category :: launcher
	fun launcher: JavaString in "Java" `{ return Intent.CATEGORY_LAUNCHER; `}
lib/android/intent/intent_api10.nit:501,2--74