User Activity

  • Posted a comment on ticket #79 on tkdiff

    Hello Michael - after reading the above carefully (thanks for the clear explanation), and doing more experiments, I agree with your assessment. I do think that it would be wise for TkDiff to start implementing some of the common, more useful Diff options when graphically annotating difference lines reported by Diff. To the end user, they are looking for a graphical diff that serves their needs; and if it doesn't work as intended, they may look elsewhere. They will likely not care about the purity...

  • Created ticket #79 on tkdiff

    Case insensitive diff only enabled via "-iw" switch (not "-i")

  • Posted a comment on ticket #1426 on TightVNC

    See https://sourceforge.net/p/vnc-tight/bugs/1554/ for an update on a similar issue with the VNC cursor display. This one is related to an update to the graphics driver used by the remote Windows PC involved in a Remote Desktop connection. As such, that problem is specific to Remote Desktop connections to the Windows box running the VNC client.

  • Posted a comment on ticket #1554 on TightVNC

    Today, an admin with our IT help desk helped me make progress understanding this. He said this cursor behavior is specific to Remote Desktop connections to the Windows machine running the VNC client. Apparently, in Win10 v1903, Microsoft changed the graphics driver for remote sessions. This can be reverted, though, and the behavior may go away (as it did for me). See https://www.dave-byrne.co.uk/fix-windows-10-remote-desktop-mouse-bump-glitch-wmultiple-monitors/ Besides the "black box" surrounding...

  • Created ticket #1554 on TightVNC

    Win10 VNC Viewer puts black square around local cursor after mouse changes monitor in dual-monitor setup

  • Modified a comment on ticket #180 on jEdit

    I see this bug was fixed in August 2016 but the plugin available at https://sourceforge.net/projects/jedit-plugins/ is dated January 2015. Where can I find a sessions.jar for jEdit with this, and any other later, bug fixes? Thanks in advance

  • Posted a comment on ticket #180 on jEdit

    I see this bug wasd fixed in August 2016 but the plugin available at https://sourceforge.net/projects/jedit-plugins/ is dated January 2015. Where can I find a sessions.jar for jEdit with this, and any other later, bug fixes? Thanks in advance

  • Created ticket #26 on tkdiff

    Support SVN repo paths more directly

View All

Personal Data

Username:
mtgavin
Joined:
2009-04-04 02:09:27

Projects

  • No projects to display.

Personal Tools

MongoDB Logo MongoDB