When inside developer tools after selecting an element with the element picker the developer tools do not re-focus. This needs to be fixed, as it is a huge annoyance when working.
When you make changes to the CSS, then press ctrl + z nothing happens, this needs to be fixed.
Thanks for the feedback!
Undo/redo functionality is in our backlog and actively looked into. I can’t give a forecast yet, but I want to let you know that it’s on the radar.
Regarding the first issue you mentioned, I think I can’t reproduce it. When I use the element picker, the focus is afterwards in the markup view and I can, for example, use the keyboard to navigate the tree. If I understand you correctly you experience a different behavior?