ultra-group / skalpel

A type error slicer for Standard ML
GNU General Public License v3.0
10 stars 1 forks source link

skalpel-next-part-of-slice portion of code jumped to not centered in buffer #121

Open jpirie opened 10 years ago

jpirie commented 10 years ago

Title really says it all, when executing skalpel-next-part-of-slice Emacs jumps to the next part of the current slice in the buffer, but keeps the portion it jumps to at the top of the buffer. This is a bit odd, the line the user has jumped to should probably then be centered in the buffer.