SQL Developer 4.1.1.19.59  Red pin icon in editor is frozen after Run window opens

Hi, everbody

This bug was reported in version 4.1.0.19.07

1) Connect to a database and open any procedure.

2) Click on Run button (green arrow icon): the Run window opens

3) Close the Run window (or run it if you wish)

4) Now click on red pin icon: you can't change its status

Thanks

Oscar