@@ -209,7 +209,7 @@ feature {NONE} -- Properties
209
209
local
210
210
f : detachable like current_format
211
211
do
212
- if properties .has (a_style ) then
212
+ if properties .has (a_style . as_lower ) then
213
213
f := new_format_from_current
214
214
215
215
if attached foreground_color (a_style ) as fg then
@@ -235,7 +235,7 @@ feature {NONE} -- Properties
235
235
236
236
record_properties (a_name : READABLE_STRING_GENERAL )
237
237
do
238
- previous_properties .extend ([a_name , widget .character_format (widget .caret_position )])
238
+ previous_properties .extend ([a_name . as_lower , widget .character_format (widget .caret_position )])
239
239
end
240
240
241
241
revert_properties
@@ -262,7 +262,7 @@ feature -- Properties status
262
262
has_previous_properties : has_previous_properties
263
263
do
264
264
if attached previous_properties .item as p then
265
- Result := a_name .is_case_insensitive_equal (p .name )
265
+ Result := a_name .as_string_ 8 . is_case_insensitive_equal (p .name . as_string_ 8 )
266
266
end
267
267
end
268
268
@@ -307,36 +307,36 @@ feature -- Properties
307
307
308
308
set_font (a_name : STRING ; ft : like font )
309
309
do
310
- properties .force ([foreground_color (a_name ), background_color (a_name ), ft ], a_name )
310
+ properties .force ([foreground_color (a_name ), background_color (a_name ), ft ], a_name . as_lower )
311
311
end
312
312
313
313
set_foreground_color (a_name : STRING ; c : like foreground_color )
314
314
do
315
- properties .force ([c , background_color (a_name ), font (a_name )], a_name )
315
+ properties .force ([c , background_color (a_name ), font (a_name )], a_name . as_lower )
316
316
end
317
317
318
318
set_background_color (a_name : STRING ; c : like background_color )
319
319
do
320
- properties .force ([foreground_color (a_name ), c , font (a_name )], a_name )
320
+ properties .force ([foreground_color (a_name ), c , font (a_name )], a_name . as_lower )
321
321
end
322
322
323
323
foreground_color (a_name : STRING ): detachable EV_COLOR
324
324
do
325
- if attached properties .item (a_name ) as v then
325
+ if attached properties .item (a_name . as_lower ) as v then
326
326
Result := v .foreground_color
327
327
end
328
328
end
329
329
330
330
background_color (a_name : like properties .key_for_iteration ): detachable EV_COLOR
331
331
do
332
- if attached properties .item (a_name ) as v then
332
+ if attached properties .item (a_name . as_lower ) as v then
333
333
Result := v .background_color
334
334
end
335
335
end
336
336
337
337
font (a_name : like properties .key_for_iteration ): detachable EV_FONT
338
338
do
339
- if attached properties .item (a_name ) as v then
339
+ if attached properties .item (a_name . as_lower ) as v then
340
340
Result := v .font
341
341
end
342
342
end
0 commit comments