浏览代码

[display] output k="timer" for FKTimer (#5679)

Gama11 9 年之前
父节点
当前提交
21fe52d7db
共有 1 个文件被更改,包括 1 次插入1 次删除
  1. 1 1
      src/display/displayOutput.ml

+ 1 - 1
src/display/displayOutput.ml

@@ -46,7 +46,7 @@ let print_fields fields =
 			| FKPackage -> "package", ""
 			| FKModule -> "type", ""
 			| FKMetadata -> "metadata", ""
-			| FKTimer s -> "", s
+			| FKTimer s -> "timer", s
 		in
 		Buffer.add_string b (Printf.sprintf "<i n=\"%s\" k=\"%s\"><t>%s</t><d>%s</d></i>\n" n s_kind (htmlescape t) (htmlescape d))
 	) (List.sort (fun (a,ak,_) (b,bk,_) -> compare (display_field_kind_index ak,a) (display_field_kind_index bk,b)) fields);