#2629 Don't take invalid BLPs into account

normal bug
open
5
2011-12-12
2006-08-15
Björn Kautler
No

The process of reading and evaluating buffer local
properties should only take these into account, that
are valid (all, and only these, that are mentioned
in "Chapter 7 -> Buffer-Local Properties") and ignore
all remaining, or maybe even better show a warning
message to the user which properties are ignored. e.
g. the encoding property which is in no means a valid
BLP is read and the encoding of the buffer is set to
that encoding for next save operation. But it is not
(and cannot) used for opening a document in the
mentioned encoding. This confused me in the beginning
and it confuses many other users too, that it "seems"
to be evaluated but in fact is only used partly how
you expect it. It is better if it is ignored and so
causes less confusion and it is even better if the
user gets a warning dialog that tells him, that the
BLP is not valid, maybe with a link to the
documentation of BLPs, so the user can instantly see
that he is fatally wrong. This validity check could
e. g. be made when opening a document AND right
before saving a document.

Sorry if this is a dupe, but I have many bugs to post
and am too lazy to check them all for dupes
currently. :-)

OS: Windows XP
Java Version: Sun Java 1.5.0_06-b05
jEdit Version: SVN Revision 6684

Discussion

  • Alan Ezust
    Alan Ezust
    2011-12-04

    I think this is fixed in jEdit 5.0pre1.

     
  • Alan Ezust
    Alan Ezust
    2011-12-04

    • assigned_to: nobody --> k_satoda
    • status: open --> pending-fixed
     
  • Björn Kautler
    Björn Kautler
    2011-12-12

    Kazutoshi is right. What was fixed was simply that the encoding BLP is ignored and a BLP encoding-detector was added. What I propose here is a warning if a BLP is found that is not valid to show the user that he maybe mistyped a BLPs name. Also a warning if the BLPs value is invalid could be helpful, e. g. if tabSize is set to a non-integer.

     
  • Björn Kautler
    Björn Kautler
    2011-12-12

    • status: pending-fixed --> open