653 reputation
41430
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen Dec 14 at 10:12

A computer science lecturer at University College London. I do stuff in logic, theorem proving, program analysis and verification. I'm a very enthusiastic TeX/LaTeX user, most days.

I also run a small site for LaTeX beginners in spanish: LaTeX Fácil.


Jun
15
comment Subtitle editor for OSX?
It works! Just got back an email from the developer: there is a small bug in which neither the counter not the subtitles work if you are editing a new subtitles script. If you close the app, load a video and some partial script then both meter and subtitles work correctly! Despite the horrible interface, this is perhaps the most functional of the alternatives (it just does what I want to do, easily); but I'll experiment a bit with all the suggestions before accepting an answer.
Jun
15
comment Subtitle editor for OSX?
What you suggest might be a good solution. Basically use Aegisub to get the timing right and then edit the file on a text editor to fix for special characters, etc. I'll play a bit with the suggestions posted here, and then give an update on which combination seemed to work the best.
Jun
15
comment Subtitle editor for OSX?
On a second try, I'm having some better luck with this app. First it seems that you need to have some particular version of mplayer installer, and then one has to click on preferences, wizard to have the program find the path to mplayer. If only the error message would be more informative the first time! Will update later if I have success using this app.
Jun
15
comment Subtitle editor for OSX?
Thanks for the suggestion, but this is a personal video; the subtitles of my video probably wont be available anywhere unless I type them first.
Jun
15
comment Subtitle editor for OSX?
No idea either, I've sent an email to the developer and see if I have any luck.
Jun
14
comment Subtitle editor for OSX?
Although Subs Factory has a very ugly interface, it does seem to be functional and I was able to quickly add a couple of subtitles to my video. My biggest problem with this app is that (for some bizarre reason) neither the meter nor the subtitle display work; so the only way to see if the subtitles appear at the appropriate moment is to save the subtitles file and then load both the video and subtitles in something like VLC. Not very good for a long-ish project!
Jun
14
comment Subtitle editor for OSX?
More problems with this app: for some reason it doesn't allow me to enter accented characters (áéíóú) in the subtitle edit box, making it pretty useless for me as I want to write spanish subtitles. I also couldn't figure out how to enter a new line in the subtitles (why is it so difficult??)
Jun
14
comment Subtitle editor for OSX?
I got the demo, this is good! It is precisely what I need but, indeed, the price is just crazy! I won't pay all that money just to subtitle one video for personal use! +1 for the effort.
Jun
14
comment Subtitle editor for OSX?
It doesn't seem to work well on my system (Snow Leopard, if it matters). The application starts, and I'm able to load a video, but while trying to preview the application throws an "Abnormal player exit java.lang.NullPointerException"
Jun
14
comment Subtitle editor for OSX?
Thanks for the recommendation. I tried, and it sort of works. But not quite. First it always crashed on start, then I managed to get it to start by disabling automatic updates. Now it works, but the interface is very strange and confusing. Anyway, probably I need to play a bit more with it. +1 for coming up with a suggestion, though.
Jun
14
comment Subtitle editor for OSX?
Hmm.. neither of them seem to do what I need. Submerge and iSubtitle respectively add hard and soft-coded subtitles to a video file; but in either case they only work if I already have the subtitles file. Which I dont. I want an app that helps me create the subtitles file.
Apr
27
comment Split a single page PDF into multiple pages
Good enough poor man solution. I like it.
Mar
29
comment Is there a quick way to lock my Mac?
Is there a way to access this command through the terminal or an applescript?
Mar
24
comment Start/stop internet sharing from a script?
@Philip: I don't have a clear idea, but it does seem to coincide with some upgrades to the OS. I had added some comments on mankoff's answer since January, but only now I had a chance to investigate a bit more the issue and modify my scripts to use your solution instead.
Mar
23
comment Start/stop internet sharing from a script?
I've changed my accepted answer to this because the original answer from mankoff stopped working.
Feb
1
comment What are some alternatives to Quicksilver?
From their website I understood that operations on files are part of the powerpack paid service. Is this correct?
Jan
5
comment Start/stop internet sharing from a script?
Strange, after a while, it stopped working. If I run the command and then open the pref pane I see that sharing is enabled, however the connection isn't actually being shared. If I manually stop and start sharing on the pref pane, then it works again without problems. Any clues about what could be wrong?
Nov
16
comment Tab changing in TextMate when working with LaTeX files?
You might have some better luck asking at tex.se: tex.stackexchange.com
Nov
10
comment How can I print a booklet from a pdf file?
In the drop-down menu I see no option for “Booklet Printing”, is this perhaps an option from a specific printer?
Sep
27
comment How to convert a pdf file into a text file?
good, thanks for the pointers!