Improved CMS PAGER
This commit is contained in:
@@ -61,6 +61,7 @@ feature -- Conversion
|
||||
Result.append ("<div")
|
||||
Result.append_character ('>')
|
||||
nb := ((upper - lower) // step).to_integer_32 + 1
|
||||
if nb > 1 then
|
||||
if attached active_range as rg then
|
||||
if rg.upper_index = 0 then
|
||||
-- all
|
||||
@@ -136,6 +137,12 @@ feature -- Conversion
|
||||
Result.append_character (' ')
|
||||
end
|
||||
end
|
||||
Result.append_character (' ')
|
||||
tb.force (1, "lower")
|
||||
tb.force (upper , "upper")
|
||||
Result.append (a_theme.link ("all", template.expanded_string (tb), Void))
|
||||
Result.append_character (' ')
|
||||
end
|
||||
|
||||
Result.append ("</div>")
|
||||
debug
|
||||
|
||||
Reference in New Issue
Block a user