Task #1202

GWT: 0.6.1, Index "frequency" column size

Added by Matthieu Decorde almost 5 years ago. Updated almost 5 years ago.

Status:New Start date:12/15/2014
Priority:Normal Due date:
Assignee:- % Done:

0%

Category:UI / Editor Spent time: -
Target version:Portal 0.7

Description

The frequency column is to small and frequencies cannot be read.
Refreshed each time a new result is computed.

Solution

Force frequency column size

Solution 2

size = max(length(strings(frequencies)))*char_length
When created, the index is sorted, the highest frequency is the first line frequency.

History

#1 Updated by Serge Heiden almost 5 years ago

The 'form' column is also not always of the right size. So a width policy should be given for all the columns of a result table.

This is true for all kind of table results, so this ticket should be related to a general tables columns width policy for desktop and portal technologies.

Also available in: Atom PDF