PR# 13811 Text on button "Backup User-defined Metrics" cut off at right if font too large

Problem Report Summary

Submitter: prestoat2000

Category: EiffelStudio

Priority: Medium

Date: 2007/12/21

Class: Bug

Severity: Non-critical

Number: 13811

Release: 6.1.71477

Confidential: No

Status: Open

Responsible:

Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.8.0.7) Gecko/20060915 Firefox/1.5.0.7 Solaris 9 on SPARC

Synopsis: Text on button "Backup User-defined Metrics" cut off at right if font too large

Description

The text on the button "Backup User-defined Metrics" is cut off if the
font is too large.  This button is in the Import Metrics window which
is displayed when one right clicks on a metric in Metric Archive tab
and selects menu entry "Import metrics from file".

To Reproduce

Problem Report Interactions