Menu

#92 Warn if interactions out of sync

open
nobody
5
2003-02-24
2002-08-06
No

If anything is entered in the Interactions Pane when the
open documents are out of sync, a warning message
should be displayed (much like in DrScheme). This
should definitely be triggered by files which have been
saved but not compiled, and probably also triggered by
modified but unsaved files. The message will only go
away after the Interactions Pane is reset (possibly
through a compile). Perhaps, unlike DrScheme, we can
only show the message once, but always have it appear
just before the prompt.

Discussion

  • Charles Reis

    Charles Reis - 2003-02-24
    • priority: 6 --> 5
     
  • Charles Reis

    Charles Reis - 2003-02-24

    Logged In: YES
    user_id=429731

    This is still something I'd like to see, but it's not
    highest priority right now. I'm going to set it back to 5,
    and we can elevate it after some of the other features are
    taken care of.

     
  • Peter Centgraf

    Peter Centgraf - 2003-07-19

    Logged In: YES
    user_id=431096

    Note that this feature is more important for the Eclipse plug-in
    version of the interactions pane, because of incremental
    compilation. It would be nice to have a lightweight "trigger"
    method on the InteractionsModel to indicate that a warning
    should be presented. This trigger would be called after any
    operation that might cause the interactions JVM to lose sync.
    There would also need to be a corresponding "clear" method,
    which would indicate a manual resync had occurred. (Note
    that the "clear" would only be effective after a full reset, since
    any previously loaded classes could still be dirty.) The
    implementation of InteractionsModel would then be able to
    choose whether to always prompt, prompt only once,
    automatically reset, or perform whatever other actions are
    deemed appropriate.

     
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.