proper restore;

--- a/src/Pure/Isar/bundle.ML	Fri Jun 10 16:14:20 2016 +0200
+++ b/src/Pure/Isar/bundle.ML	Fri Jun 10 16:17:33 2016 +0200
@@ -137,8 +137,9 @@
     |> invisible ? Context_Position.set_visible_global false
     |> Context.Theory
     |> define_bundle (binding, the_target thy)
-    ||> Context.the_theory
-    ||> reset_target);
+    ||> (Context.the_theory
+      #> invisible ? Context_Position.restore_visible_global thy
+      #> reset_target));
 
 fun pretty binding lthy =
   let