fix document-symbols mode

src/display/displayOutput.ml

@@ -772,7 +772,13 @@ let process_global_display_mode com tctx = match com.display.dms_kind with
 			| None -> symbols
 			| Some cs ->
 				let l = CompilationServer.get_context_files cs ((get_signature com) :: (match com.get_macros() with None -> [] | Some com -> [get_signature com])) in
-				List.map (fun (file,data) -> (file,DocumentSymbols.collect_module_symbols data)) l
+				List.fold_left (fun acc (file,data) ->
+					print_endline (Printf.sprintf "%s %b" file (is_display_file file));
+					if (filter <> None || is_display_file file) then
+						(file,DocumentSymbols.collect_module_symbols data) :: acc
+					else
+						acc
+				) symbols l
 		in
 		raise (ModuleSymbols(ModuleSymbolsPrinter.print_module_symbols com symbols filter))
 	| _ -> ()