Task #1202

GWT: 0.6.1, Index "frequency" column size

Ajouté par Matthieu Decorde il y a presque 11 ans. Mis à jour il y a presque 11 ans.

Statut:New Début:15/12/2014
Priorité:Normal Echéance:
Assigné à:- % réalisé:

0%
Catégorie:UI / Editor Temps passé: -
Version cible: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.

Historique

#1 Mis à jour par Serge Heiden il y a presque 11 ans

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.

Formats disponibles : Atom PDF