On Tue, 2018-02-20 at 12:42 +0100, Jocelyn Fiat wrote:
> Hi,
>
> I tried on Ubuntu 17.10, also on older Ubuntu from VirtualBox, and
> when I open the Preferences, I just need to click (for instance) on
> the value 50, and then the text is editable.
Yes. That is how it used to work for me, but no longer.
> I tried with 17.05, and also with the fresh 18.01 version.
> Note you can also press [Enter] to start edition.
No. That does not work either.
In both cases there is a sort of flash around the window, as if it had
been redisplayed, perhaps
> There is another way to set the default string length, in the watch
> tool, or objects tool , you have a little tool-bar button (double
> green arrow), click on it, then you have a simple dialog to change
> the related value, check the "Set as default" to keep them as default
> (i.e to update the related preference values).
Thanks. That did work.
>
> Now, back to preference dialog, and value that are not editable, it
> should work, and this is not a question of permissions.
> Can you provide more information about version of your OS, which
> Windows manager you are using, and anything that could help.
> Maybe using
https://support.eiffel.com/ would be a better place to
> report such issue.
Linux 4.9.0
xorg 1.19.2
Unfortunately I don't know which of the many X-related packages are
relevant.
I will try again after upgrading to 18 and go on from there.
> Regards,
> -- Jocelyn
>
>
>
> On Mon, Feb 19, 2018 at 8:28 PM, Chris Tillman <
toff.t...@gmail.co
> m> wrote:
> > I confirmed this does not occur in 17.1 for me. Perhaps check
> > permissions on the preferences file (I think maybe
> > <Eiffel_folder>/studio/eifinit/default.xml)?
> >
> > On Mon, Feb 19, 2018 at 11:23 PM, olly <
ol...@lfix.co.uk> wrote:
> > > Estudio 17_05, Debian Linux
> > >
> > > I try to change default string length in the debugger, but there
> > > is no editable field.
> > >
> > > If I click on the value the whole window flashes for a moment,
> > > but there is no way
> > > to change the value.
> > >
> > > Screenshot attached
> > >
> > >
> > > Oliver Elphick
> > > --
> > > You received this message because you are subscribed to the
> > > Google Groups "Eiffel Users" group.
> > > To unsubscribe from this group and stop receiving emails from it,
> > > send an email to
eiffel-users...@googlegroups.com.
> > send an email to
eiffel-users...@googlegroups.com.