Sebastian Ramacher
|
d43e1f07ff
|
Add --synctex-pid option for the case where the process is known
Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
|
2014-01-20 01:53:09 +01:00 |
|
Sebastian Ramacher
|
5a992d2d46
|
Make page an integer where possible
Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
|
2014-01-17 16:31:01 +01:00 |
|
Sebastian Ramacher
|
74fd28b4b2
|
Send rectangles not on the main page too
Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
|
2014-01-14 16:15:34 +01:00 |
|
Sebastian Ramacher
|
8b701f609c
|
Finish renaming
Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
|
2014-01-12 22:23:29 +01:00 |
|