Documentation menu

[Elliott Hughes]

anyone actually use the documentation menu? i was surprised to find
that only two of the links are dead. but rather than just remove
those, should we remove the whole menu? did the ubiquity of browser
windows and search engines win?

--
Elliott Hughes - http://www.jessies.org/~enh/

[Phil Norman]

Personally, I never use it.

What I have used on occasion is some of the windows available from the 'Help' menu, for figuring out what version of Java Evergreen's running for example. Those windows have annoyingly small fonts though, and are hard to read :-)

--
You received this message because you are subscribed to the Google Groups "evergreen-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to evergreen-users+unsubscribe@googlegroups.com.
To post to this group, send email to evergreen-users@googlegroups.com.
Visit this group at https://groups.google.com/group/evergreen-users.
For more options, visit https://groups.google.com/d/optout.

[Martin Dorey]

There's a Documentation menu?

On Wed, Jul 4, 2018 at 11:02 PM Phil Norman <phil...@gmail.com> wrote:

Personally, I never use it.

What I have used on occasion is some of the windows available from the 'Help' menu, for figuring out what version of Java Evergreen's running for example. Those windows have annoyingly small fonts though, and are hard to read :-)

On 5 July 2018 at 07:39, Elliott Hughes <elliott....@gmail.com> wrote:

anyone actually use the documentation menu? i was surprised to find
that only two of the links are dead. but rather than just remove
those, should we remove the whole menu? did the ubiquity of browser
windows and search engines win?

--
Elliott Hughes - http://www.jessies.org/~enh/

--
You received this message because you are subscribed to the Google Groups "evergreen-users" group.

To unsubscribe from this group and stop receiving emails from it, send an email to evergreen-use...@googlegroups.com.
To post to this group, send email to evergre...@googlegroups.com.

Visit this group at https://groups.google.com/group/evergreen-users.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "evergreen-users" group.

To unsubscribe from this group and stop receiving emails from it, send an email to evergreen-use...@googlegroups.com.
To post to this group, send email to evergre...@googlegroups.com.

[Elliott Hughes]

i recognize the sarcasm, but as i was going through it looking for
dead links i was surprised at some of the entries. i read the POSIX
spec all the time, but didn't know there was a link in my editor. (and
even now i do know, i don't think i'd use it... i don't want an index,
i want to go straight to what i'm looking for.)

[Elliott Hughes]

from my checkin comment:

I've kept "Show Documentation for Word" (F1) for now, moving it onto the
"View" menu. I'm not convinced our current implementation is useful, but
I do think the concept is useful.

[Elliott Hughes]

On Wed, Jul 4, 2018 at 11:02 PM Phil Norman <phil...@gmail.com> wrote:
>

> Personally, I never use it.
>
> What I have used on occasion is some of the windows available from the 'Help' menu, for figuring out what version of Java Evergreen's running for example. Those windows have annoyingly small fonts though, and are hard to read :-)

i've increased the font size to 12, which seems to be our default
elsewhere. i've also increased the size of the "debugging messages"
window which was far too small even with the 10pt font.

> On 5 July 2018 at 07:39, Elliott Hughes <elliott....@gmail.com> wrote:
>>
>> anyone actually use the documentation menu? i was surprised to find
>> that only two of the links are dead. but rather than just remove
>> those, should we remove the whole menu? did the ubiquity of browser
>> windows and search engines win?
>>
>> --
>> Elliott Hughes - http://www.jessies.org/~enh/
>>
>> --
>> You received this message because you are subscribed to the Google Groups "evergreen-users" group.

>> To unsubscribe from this group and stop receiving emails from it, send an email to evergreen-use...@googlegroups.com.
>> To post to this group, send email to evergre...@googlegroups.com.

>> Visit this group at https://groups.google.com/group/evergreen-users.
>> For more options, visit https://groups.google.com/d/optout.
>
>

> --
> You received this message because you are subscribed to the Google Groups "evergreen-users" group.

> To unsubscribe from this group and stop receiving emails from it, send an email to evergreen-use...@googlegroups.com.
> To post to this group, send email to evergre...@googlegroups.com.

> Visit this group at https://groups.google.com/group/evergreen-users.
> For more options, visit https://groups.google.com/d/optout.

[Elliott Hughes]

i fixed F1 for man pages yesterday and tried to make use of it at work today and was ... underwhelmed.

i honestly think this at least as good:

  $ cat .e.edit.Edit/tools/man.tool
  name=Show man page
  command=!~/jessies/terminator/bin/terminator -e man $EVERGREEN_CURRENT_WORD
  keyboardEquivalent=M

(though every time i write a tool i wonder why we don't have anything that's "selection if there is one, word under cursor otherwise".)

though that would leave me wanting a list of POSIX spelling exceptions to replace that side-effect of ManPageResearcher. though that would be a good thing anyway, because then stuff like WIFEXITED wouldn't show up as a typo just because it doesn't get its own man page.

F1 for Java seems so useless i assume it's broken?

F1 for Python seems to work okay, though it's a bit spartan. (i'm bad enough at python that i'd need to go to the web anyway.)

i don't even remember what Perl was.