Merge pull request #16 from grouse/error_annotation_color

Add a color id for the error annotation string

Author: ryanfleury

4coder_fleury.cpp

@@ -144,6 +144,9 @@
 //
 // - fleury_color_comment_user_name: The color used to highlight the
 //   username in comments.
+// 
+// - fleury_color_error_annotation: Text color used for the inline error
+//   message string with F4_RenderErrorAnnotations
 
 
 //- @f4_render_intro Rendering Features

4coder_fleury_colors.h

@@ -26,6 +26,7 @@ CUSTOM_ID(colors, fleury_color_token_minor_highlight);
 CUSTOM_ID(colors, fleury_color_comment_user_name);
 CUSTOM_ID(colors, fleury_color_lego_grab);
 CUSTOM_ID(colors, fleury_color_lego_splat);
+CUSTOM_ID(colors, fleury_color_error_annotation);
 
 static ARGB_Color F4_ARGBFromID(Color_Table table, Managed_ID id, int subindex);
 static ARGB_Color F4_ARGBFromID(Color_Table table, Managed_ID id);

4coder_fleury_error_annotations.cpp

@@ -110,7 +110,7 @@ F4_RenderErrorAnnotations(Application_Links *app, Buffer_ID buffer,
                             draw_position.x = last_character_on_line_rect.x1 + 30;
                         }
 
-                        draw_string(app, face, jump_line, draw_position, 0xffff0000);
+                        draw_string(app, face, jump_line, draw_position, fcolor_id(fleury_color_error_annotation));
 
                         Mouse_State mouse_state = get_mouse_state(app);
                         if(mouse_state.x >= region.x0 && mouse_state.x <= region.x1 &&

theme-fleury.4coder

@@ -56,7 +56,8 @@ fleury_color_cursor_power_mode     = 0xffefaf2f;
 fleury_color_cursor_inactive       = 0xFF880000;
 fleury_color_plot_cycle            = { 0xff03d3fc, 0xff22b80b, 0xfff0bb0c, 0xfff0500c };
 fleury_color_token_highlight       = 0x88dc7575;
+fleury_color_error_annotation      = 0xffff0000;
 fleury_color_token_minor_highlight = 0x44dc7575;
 fleury_color_lego_grab             = 0xffefaf6f;
 fleury_color_lego_splat            = 0xffefaaef;
-fleury_color_comment_user_name     = 0xffffff00;
+fleury_color_comment_user_name     = 0xffffdd23;