Giter Club home page Giter Club logo

Comments (10)

kcrisman avatar kcrisman commented on May 20, 2024

To be clear, the class immediately said "yes we should have that"; scrolling to the bottom and then needing to scroll up even a medium-length page would have been quite annoying, according to unanimous decree (including the design major in my Number Theory class).

from pretext.

kcrisman avatar kcrisman commented on May 20, 2024

Oh, and to be REALLY clear, I see now that this only shows up when one zooms in so far that the "Contents" bar on the left disappears; otherwise the navbar is perfectly visible and usable no matter how far one scrolls. So there may be other ways to solve this other than adding a navbar at the bottom, but at any rate that is the problem.

from pretext.

rbeezer avatar rbeezer commented on May 20, 2024

Once you zoom, or equivalently, reduce browser width, the HTML interface
switches over to mobile mode, to accomodate all your students reading your book
on their phones when they have nothing better to do.

Is this the behavior you are seeing?

Don't zoom so far, or get a wider screen? ;-)

On 01/31/2015 07:49 PM, kcrisman wrote:

Oh, and to be REALLY clear, I see now that this only shows up when one zooms in
so far that the "Contents" bar on the left disappears; otherwise the navbar is
perfectly visible and usable no matter how far one scrolls. So there may be
other ways to solve this other than adding a navbar at the bottom, but at any
rate that is the problem.


Reply to this email directly or view it on GitHub
#37 (comment).

from pretext.

kcrisman avatar kcrisman commented on May 20, 2024

Yes, this is exactly the behavior.

Don't zoom so far, or get a wider screen? ;-)

Nice try. In mobile mode, then, there should be some kind of small navbar at the bottom of a page. I'll edit the title.

from pretext.

davidfarmer avatar davidfarmer commented on May 20, 2024

Apparently you aren't seeing the nav buttons at the bottom
when the screen is narrow? The issue is why the feature is
not working, not that we need to add the feature. Can you describe
the setup, and what you do see?

On Mon, 2 Feb 2015, kcrisman wrote:

Yes, this is exactly the behavior.

  Don't zoom so far, or get a wider screen? ;-)

Nice try. In mobile mode, then, there should be some kind of small navbar at the bottom of a page. I'll edit the title.


Reply to this email directly or view it on GitHub.[AAM6LJqC_sXw1LlLGS86xhxVMIxmQP2Fks5nn4VFgaJpZM4DZuHU.gif]

from pretext.

kcrisman avatar kcrisman commented on May 20, 2024

Okay, I think I have it. The issue is that in some browsers the feature is not working - in modern Chrome and FF it works fine, in an older Safari not. Given that we cannot expect everyone to have the most up-to-date browser (and I haven't tried this in IE, which of course many horribly old variants of still exist all over the world), probably there should be something retrofitting for that situation. Maybe it's a too-new js library?

from pretext.

kcrisman avatar kcrisman commented on May 20, 2024

I'll send some screenshots off-list.

from pretext.

davidfarmer avatar davidfarmer commented on May 20, 2024

It can be a truly enormous amount of work to support old browsers.

I really don't see the possibility of someone volunteering to write
that code, or us finding the money to pay someone to do it. In fact,
if someone wanted to put that much effort into the project, I could
think of 10 other things that are higher priority.

Considering that there are (at least) 3 free modern browsers in which
things work fine, I am having a hard time imagining that supporting
old browsers could every become high on our list of priorities.

On Mon, 2 Feb 2015, kcrisman wrote:

Okay, I think I have it. The issue is that in some browsers the feature is not working - in modern Chrome and FF it works
fine, in an older Safari not. Given that we cannot expect everyone to have the most up-to-date browser (and I haven't tried
this in IE, which of course many horribly old variants of still exist all over the world), probably there should be
something retrofitting for that situation. Maybe it's a too-new js library?


Reply to this email directly or view it on GitHub.[AAM6LMe3QQmBB-AmDeD6GkhjCRmP4utfks5nn4hjgaJpZM4DZuHU.gif]

from pretext.

kcrisman avatar kcrisman commented on May 20, 2024

That may be so, but it's still worth having the ticket open. In this case, I suspect it's something fairly innocuous.

from pretext.

davidfarmer avatar davidfarmer commented on May 20, 2024

Please close, as this is obsolete

from pretext.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.