Ticket #176 (closed patch: fixed)

Opened 6 years ago

Last modified 6 years ago

[patch]improved indent_pir.vim

Reported by: jimmy Owned by: jkeenan
Priority: minor Milestone:
Component: none Version:
Severity: medium Keywords: editor vim indent
Cc: Language:
Patch status: applied Platform:

Description

this patch improved indent_pir.vim

Attachments

indent_pir.patch Download (497 bytes) - added by jimmy 6 years ago.

Change History

Changed 6 years ago by jimmy

Changed 6 years ago by jimmy

i.e:

     L1: # comments here
       $P0 = deref va

Changed 6 years ago by jkeenan

  • status changed from new to assigned
  • owner set to jkeenan

Applied in  r35656. jimmy++

If you want to see this patch in action, then go to languages/PIR/examples/labels.pir first try adding a

LABEL: #comment
and a next line

Then, install this indent plugin by going into the editors/ directory and calling make vim-install. Then, return to languages/PIR/examples/labels.pir and try the same edits as previously. You should get:

LABEL: #comment
  and a next line

i.e., a better indent than previously.

Thank you very much.
kid51

Changed 6 years ago by jkeenan

  • priority changed from normal to minor
  • keywords editor vim indent added
  • patch set to applied

Changed 6 years ago by jkeenan

  • status changed from assigned to closed
  • resolution set to fixed
Note: See TracTickets for help on using tickets.