misc

facebookarchive · Nov 1, 2010 · 19f0db1 · 19f0db1
1 parent 06e4803
commit 19f0db1
Show file tree

Hide file tree

Showing 4 changed files with 17 additions and 12 deletions.
diff --git a/commons/file_type.ml b/commons/file_type.ml
@@ -84,15 +84,14 @@ let file_type_of_file2 file =
   | "mlp" (* used in emacs source *)
       -> PL (ML e)
 
-  | "lml" (* linear ML *)
-      -> PL (ML e)
-  | "sml" 
-      -> PL (ML e)
+  | "sml" -> PL (ML e)
   (* fsharp *)
-  | "fsi" 
-      -> PL (ML e)
+  | "fsi"  -> PL (ML e)
+  (* linear ML *)
+  | "lml"  -> PL (ML e)
 
   | "hs" | "lhs" -> PL (Haskell e)
+
   | "erl" -> PL Erlang
 
   | "bet" -> PL Beta
@@ -125,13 +124,18 @@ let file_type_of_file2 file =
 
   | "s" | "S" | "asm" -> PL Asm
 
+  | "c--" -> PL (MiscPL e)
+
   | "R" | "Rd" -> PL (R e)
 
+  | "scala" -> PL (MiscPL e)
+
   | "sh" -> PL (Script e)
   | "m4" -> PL (MiscPL e)
   | "conf" -> PL (MiscPL e)
 
-  | "scala" -> PL (MiscPL e)
+  (* Andrew Appel's Tiger toy language *)
+  | "tig" -> PL (MiscPL e)
 
   (* merd *)
   | "me" -> PL (MiscPL "me")

diff --git a/h_program-lang/highlight_code.ml b/h_program-lang/highlight_code.ml
@@ -450,7 +450,7 @@ The big principles for the colors, fonts, and strikes are:
   - purple: fields
   - yellow: functions (and macros)
   - blue:   globals, variables
-  - pink:   macros
+  - pink:   constants, macros
 
   - cyan and big:      global, 
     turquoise and big: remote global,
@@ -725,7 +725,7 @@ let info_of_category = function
       [`FOREGROUND "MediumPurple1"] ++ info_of_usedef (Def)
 
   | Field (Use2 _) -> 
-      [`FOREGROUND "MediumPurple1"] ++ info_of_usedef (Use)
+      [`FOREGROUND "MediumPurple3"] ++ info_of_usedef (Use)
 
 
   | TypeDef usedef -> [`FOREGROUND "YellowGreen"] ++ info_of_usedef usedef 

diff --git a/h_visualization/treemap.ml b/h_visualization/treemap.ml
@@ -819,15 +819,15 @@ let render_treemap_algo2 = fun ?(algo=Classic) ?(big_borders=false) treemap ->
           if not big_borders then
           match depth with
           | 1 -> 0.0
-          | 2 -> 0.002
+          | 2 -> 0.003
           | 3 -> 0.001
           | 4 -> 0.0005
           | 5 -> 0.0002
           | _ -> 0.0
           else 
           match depth with
           | 1 -> 0.0
-          | 2 -> 0.002
+          | 2 -> 0.003
           | 3 -> 0.0015
           | 4 -> 0.0010
           | 5 -> 0.0008

diff --git a/visual/draw_microlevel.ml b/visual/draw_microlevel.ml
@@ -240,8 +240,9 @@ let draw_content2 ~cr ~layout ~context ~file rect =
     in
     Draw_macrolevel.draw_treemap_rectangle ~cr ~color:(Some "DarkSlateGray") 
       ~alpha rect;
+    (* draw a thin rectangle with aspect color *)
     CairoH.draw_rectangle_bis ~cr ~color:(rect.T.tr_color) 
-      ~line_width:font_size rect.T.tr_rect;
+      ~line_width:(font_size / 2.) rect.T.tr_rect;
   end;
 
   (* highlighting layers (and grep-like queries) *)