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.


Nov
30
awarded  Popular Question
Oct
18
awarded  Nice Question
Oct
14
comment After i downloaded the new iOS 5 for my iPhone 4 safari isn't any different?
I see! It does work, so apparently some websites will work and some others wont?
Oct
14
comment After i downloaded the new iOS 5 for my iPhone 4 safari isn't any different?
I do have the "Reading List", but the "Reader" function doesn't seem to appear on my 3GS phone. Reader wont work there?
Aug
18
awarded  Yearling
Aug
14
awarded  Nice Question
Jul
21
answered Constantly ejecting OS X install disc when trying to boot
Jul
21
asked Constantly ejecting OS X install disc when trying to boot
Jun
24
comment Subtitle editor for OSX?
Sorry, I did give it a second try, but the apparent lack of support of the player for utf8 and accented characters was a mayor hurdle for me.
Jun
24
comment Subtitle editor for OSX?
After some test drive of all the available options, I'm staying with this. The interface is decent, and it is easy not only to add subtitles, but also move them around and shift them a bit. Looking at the audio wave is also very useful to correctly put the subtitles in place. Not perfect, but definitely the most usable. Thanks!
Jun
24
accepted Subtitle editor for OSX?
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"