This was reported today at the German-language Wikipedia's village pump (permalink):
When saving an unwatched page in the old source mode while Watch this page is selected, the page is indeed added to the watchlist, but the watch star does not turn blue. For the watch star to correctly signal that the page is on the watchlist, one needs to manually reload the page.
When saving in visual editing mode, the watch star immediately turns blue, as is expected.