On Mon, Sep 17, 2007 at 10:27:22PM -0500, Bo Peng wrote:
> On 9/17/07, Uwe Stöhr <[EMAIL PROTECTED]> wrote:
> > >> I would suggest (think I did) to completely leave Idx: off, and make the
> > >> appearance of the button distinctive. People are curious and will click
> > >> if they wonder what it is, and will quickly learn.
> > >
> > > This would be an option.
> >
> > This would indeed be a solution, together with a limit for the label length
> > of 20 chars.
>
> I quickly hacked something like the attached (screenshot and patch).
> If people like it, I can implement it seriously later on (I will be
> quite busy in the next two weeks, and this will have low priority). I
> am be happy if someone (Uwe?) can take it over. The obvious things to
> add may be a separate index background color, or something to the left
> of the box to make it look like a P shape with | meaning Index.
>
> I suspect that it would be difficult to satisfy everyone with the new
> look of this index inset.
>
> Cheers,
> Bo
A nice idea!
The y - 8 looks a bit arbitrary... shouldn't this be done using metrics
parameters?
- Martin
> + } else if (type_ == UpperCorner) {
> + font.setSize(Font::SIZE_TINY);
> + if (editable_) {
> + pi.pain.buttonText(x + 2, y - 8, text_, font,
> renderState());
> + } else {
> + pi.pain.rectText(x + 2, y - 8, text_, font,
> + Color::commandbg, Color::commandframe);
> + }
