Add the ability to search for text on a help page. #194

Closed
vext01 opened this Issue Dec 15, 2011 · 8 comments

Projects

None yet

3 participants

@vext01
vext01 commented Dec 15, 2011

Whilst you can search for a topic, it seems I am unable to search for text on a page.

Cheers

@dilijev
Collaborator
dilijev commented Dec 15, 2011

I think I don't understand the problem. For me, the Help manual is launched in a Windows application designed to handle it. If you are on Windows this would seem to be a problem with your help viewer, not wxMaxima (i.e. I am able to search on a page in Help with Ctrl+F as usual on Windows).

If I am mistaken, please post more specific information about your platform and build.

@vext01
vext01 commented Dec 16, 2011

I see.

I am using OpenBSD. The help popup smells of something GTK flavored, but I couldn't say what. It is probably the same on Linux too?

@dilijev
Collaborator
dilijev commented Dec 17, 2011

I don't know about OpenBSD, but I can tell you from Linux POV.

Now that I finally managed to get the Linux build working, here's what I've got: http://i.imgur.com/FAHrX.png (and no, I cannot search in page). I can't seem to track down the name of the help viewer (I'm guessing it is part of GNOME on Linux)--but if you can manage that, you should file the bug with them.

FYI my Linux release info:

DISTRIB_ID=Ubuntu
DISTRIB_RELEASE=10.04
DISTRIB_CODENAME=lucid
DISTRIB_DESCRIPTION="Ubuntu 10.04.3 LTS"

@vext01
vext01 commented Dec 17, 2011

Yup. That's what i see too. Can you search for text in the right hand pane?
On Dec 17, 2011 6:03 AM, "Doug Ilijev" <
reply@reply.github.com>
wrote:

I don't know about OpenBSD, but I can tell you from Linux POV.

Now that I finally managed to get the Linux build working, here's what
I've got: http://i.imgur.com/FAHrX.png

FYI Linux release info

DISTRIB_ID=Ubuntu
DISTRIB_RELEASE=10.04
DISTRIB_CODENAME=lucid
DISTRIB_DESCRIPTION="Ubuntu 10.04.3 LTS"


Reply to this email directly or view it on GitHub:
#194 (comment)

@dilijev
Collaborator
dilijev commented Dec 17, 2011

Yes sorry. I cannot search in that pane.

@dilijev
Collaborator
dilijev commented Dec 23, 2012

@andrejv This should be closed as a non-bug.

@m1kc
Contributor
m1kc commented Jun 1, 2013

@andrejv This should be closed as a non-bug.

@dilijev
Collaborator
dilijev commented Jul 19, 2013

Closed as non-bug.

@dilijev dilijev closed this Jul 19, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment