Basic control of the camera

Navigation control

Introduction

This tutorial is a short explanation on how to control the camera. The images are provided by a WMS server. The camera goes to (longitude, latitude) = (-160, 80). Then a zoom is given.

Code in Mizar

The first step is to look to the getting-started-with-Navigation to create the Earth.

For this step, you need to look at the navigation interface and the navigation package

Look at the code and change it to test it.