Activity for ivo

  • ivo ivo posted a comment on ticket #40

    recent install, macos. installed well, but on looking for available plugins (none yet installed), I get

  • ivo ivo created ticket #1736

    Default Window Size

  • ivo ivo posted a comment on ticket #1553

    maybe an additional setting for a timer that checks once a second whether the "Revert" button has gone black --- or a notice that the file is no more (dead parrot). of course, it is no big deal once I realize that this is the problem...but I am often just staring at the window and editing, thinking that my edits have failed to do the job, but they did, and I was just not seeing it and screwing it up even more often.

  • ivo ivo created ticket #1553

    File Change Monitoring doesn't reload

  • ivo ivo posted a comment on ticket #1285

    I don't think you should poll by default. however, I think given where macos has moved to, if they do not have an option to improve the filesystem observation, you might consider polling as an option (with a warning!).

  • ivo ivo created ticket #1285

    Slow(er) Pdf Updates

  • ivo ivo created ticket #1279

    "remember last page viewed" no longer works on auto-reload.

  • ivo ivo posted a comment on ticket #146

    seconded. there is also a julia-repl version, which has a julia> at the front of executables. example is at https://docs.julialang.org/en/stable/manual/complex-and-rational-numbers/ .

  • ivo ivo posted a comment on discussion Open Discussion

    I am wondering whether someone has already done the following, or whether someone...

1
MongoDB Logo MongoDB