subject:"\[PATCH\] paper\: make all source lines have the same minimum height"

Re: [PATCH] paper: make all source lines have the same minimum height

2018-04-04 Thread Yuya Nishihara

On Wed, 04 Apr 2018 14:52:23 +0800, Anton Shestakov wrote: > # HG changeset patch > # User Anton Shestakov > # Date 152281 -28800 > # Wed Apr 04 13:14:48 2018 +0800 > # Node ID cec6b1932d091667b65daa5d2260b665a7f07e81 > # Parent

[PATCH] paper: make all source lines have the same minimum height

2018-04-04 Thread Anton Shestakov

# HG changeset patch # User Anton Shestakov # Date 152281 -28800 # Wed Apr 04 13:14:48 2018 +0800 # Node ID cec6b1932d091667b65daa5d2260b665a7f07e81 # Parent 0a1fb171dc1ddd6a1cd1a5666e92299db12e9f5d paper: make all source lines have the same minimum height In