# Java implementation: boolean android.view.KeyEvent.isCtrlPressed()
	fun is_ctrl_pressed: Bool in "Java" `{
		return self.isCtrlPressed();
	`}