I'm not sure what's going on. I kind of suspect it's just something with this terminal. I've never seen it on my dev pc. As I said, a reboot fixes the problem, so it seems like the answer to your question is yes.
Giving a little more detail, I have a default ribbon used to open forms. Once a form is opened, there is a different ribbon that has all the same stuff as the previous ribbon plus has record navigation. When the issue is seen, the so called default ribbon is there, when I open a form, I still have the default ribbon. When I close the form, then I see the ribbon with the record navigation. Of course, I see no reason for that to happen.
Even if this is a coding problem, restarting the database should resolve the issue, but it does not.