make diagnostics mode inline (closes #5659)

src/display/displayOutput.ml

@@ -684,7 +684,7 @@ let handle_display_argument com file_pos pre_compilation did_something =
 					| _ ->
 						DMField
 		in
-		let pos = try int_of_string pos with _ -> failwith ("Invalid format : "  ^ pos) in
+		let pos = try int_of_string pos with _ -> failwith ("Invalid format: "  ^ pos) in
 		com.display <- DisplayMode.create mode;
 		Common.display_default := mode;
 		Common.define_value com Define.Display (if smode <> "" then smode else "1");

src/typing/common.ml

@@ -174,7 +174,7 @@ module DisplayMode = struct
 				dms_full_typing = true;
 				dms_error_policy = EPCollect;
 				dms_collect_data = true;
-				dms_inline = false;
+				dms_inline = true;
 				dms_display_file_policy = if global then DFPNo else DFPAlso;
 				dms_exit_during_typing = false;
 			}