/[eiffelstudio]/trunk/Src/Eiffel/interface/new_graphical/shared/editor_token_utility/eb_editor_token_text.e
ViewVC logotype

Diff of /trunk/Src/Eiffel/interface/new_graphical/shared/editor_token_utility/eb_editor_token_text.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 71345 by jasonw, Fri Aug 10 15:46:24 2007 UTC revision 71346 by paulb, Mon Dec 3 19:25:51 2007 UTC
# Line 146  feature -- Setting Line 146  feature -- Setting
146                          overriden_line_height_removed: overriden_line_height = 0 and not is_overriden_line_height_set                          overriden_line_height_removed: overriden_line_height = 0 and not is_overriden_line_height_set
147                  end                  end
148    
149            set_overriden_selection_colors (a_focus_color, a_unfocus_color: EV_COLOR)
150                            -- Set override background colors for selection
151                    require
152                            a_focus_color_attached: a_focus_color /= Void
153                            not_a_focus_color_is_destoryed: not a_focus_color.is_destroyed
154                            a_unfocus_color_attached: a_unfocus_color /= Void
155                            not_a_unfocus_color_is_destoryed: not a_unfocus_color.is_destroyed
156                    do
157                            focused_selection_color := a_focus_color
158                            unfocused_selection_color := a_unfocus_color
159                    ensure
160                            focused_selection_color_set: focused_selection_color = a_focus_color
161                            unfocused_selection_color_set: unfocused_selection_color = a_unfocus_color
162                    end
163    
164            remove_overriden_selection_colors
165                            -- Removed any set overriden selection background colors
166                    do
167                            focused_selection_color := Void
168                            unfocused_selection_color := Void
169                    ensure
170                            focused_selection_color_detached: focused_selection_color = Void
171                            unfocused_selection_color_detached: unfocused_selection_color = Void
172                    end
173    
174          set_maximum_width (a_width: INTEGER) is          set_maximum_width (a_width: INTEGER) is
175                          -- Set `maximum_width' with `a_width'.                          -- Set `maximum_width' with `a_width'.
176                  require                  require
# Line 473  feature -- Access Line 498  feature -- Access
498          overriden_line_height: INTEGER          overriden_line_height: INTEGER
499                          -- Line height in pixel                          -- Line height in pixel
500    
501            focused_selection_color: EV_COLOR
502                            -- Overriden focused selection color
503    
504            unfocused_selection_color: EV_COLOR
505                            -- Overriden unfocused selection color
506    
507          tokens: LINKED_LIST [EDITOR_TOKEN] is          tokens: LINKED_LIST [EDITOR_TOKEN] is
508                          -- `tokens' stored in list                          -- `tokens' stored in list
509                  do                  do
# Line 700  feature{NONE} -- Display Line 731  feature{NONE} -- Display
731                          a_drawable_attached: a_drawable /= Void                          a_drawable_attached: a_drawable /= Void
732                  local                  local
733                          l_font: EV_FONT                          l_font: EV_FONT
734                            l_color: EV_COLOR
735                  do                  do
736                          if a_focus then                          if a_focus then
737                                  a_drawable.set_background_color (a_token.selected_background_color)                                  l_color := focused_selection_color
738                                    if l_color = Void then
739                                            a_drawable.set_background_color (a_token.selected_background_color)
740                                    else
741                                            a_drawable.set_background_color (l_color)
742                                    end
743                                  a_drawable.set_foreground_color (a_token.selected_text_color)                                  a_drawable.set_foreground_color (a_token.selected_text_color)
744                          else                          else
745                                  a_drawable.set_background_color (a_token.focus_out_selected_background_color)                                  l_color := unfocused_selection_color
746                                    if l_color = Void then
747                                            a_drawable.set_background_color (a_token.focus_out_selected_background_color)
748                                    else
749                                            a_drawable.set_background_color (l_color)
750                                    end
751                                  a_drawable.set_foreground_color (a_token.text_color)                                  a_drawable.set_foreground_color (a_token.text_color)
752                          end                          end
753                          l_font := actual_token_font (a_token)                          l_font := actual_token_font (a_token)

Legend:
Removed from v.71345  
changed lines
  Added in v.71346

  ViewVC Help
Powered by ViewVC 1.1.23