Community
    • Login

    Decimal Points conflicting with Period as Keywords

    Scheduled Pinned Locked Moved Help wanted · · · – – – · · ·
    3 Posts 2 Posters 1.5k Views
    Loading More Posts
    • Oldest to Newest
    • Newest to Oldest
    • Most Votes
    Reply
    • Reply as topic
    Log in to reply
    This topic has been deleted. Only users with topic management privileges can see it.
    • Miguel NunesM
      Miguel Nunes
      last edited by

      Hello, I’m configuring the syntax highligthing for Picat, wich uses periods as a keyword and are highlighted as such, but this causes numbers with decimal points to not be highligthed at all, as can be seen here, if anyone could help me figure out how to fix/workaround this I’d be glad.

      Claudia FrankC 1 Reply Last reply Reply Quote 0
      • Claudia FrankC
        Claudia Frank @Miguel Nunes
        last edited by

        @Miguel-Nunes

        Is it possible to define the period as an operator (style 2).
        If this doesn’t solve your issue, may you share a test data and your picat styler?

        Cheers
        Claudia

        1 Reply Last reply Reply Quote 0
        • Miguel NunesM
          Miguel Nunes
          last edited by

          @Claudia-Frank
          That did it, thank you very much.

          1 Reply Last reply Reply Quote 0
          • First post
            Last post
          The Community of users of the Notepad++ text editor.
          Powered by NodeBB | Contributors