December 11, 2018 Menu Options – DevBlog #6 Hello internets,the last week has been busy and I implemented a few more options the menu. It was -again- quite some work, and the…