Update Navigation.cs

added encoder-update snippets