Dion Timmermann

  • Email:
  • Registered on: 03 June 2011
  • Last connection: 20 April 2012

Projects

  • Gummi (Developer, 25 September 2011)

Activity

Reported issues: 35

20 April 2012

07:48 Gummi Bug #271: Gummi only show preview after save the file.
Thank you very much for the video. That cleared things a lot. I am still not sure where the bug is, but like Robert I...

04 April 2012

08:34 Gummi Feature #408: Cache PDF file for each tab
Yeah, currently it is a bit unorganized, as not each document belongs to a project. But that would make things easier...

02 April 2012

17:22 Gummi Feature #408: Cache PDF file for each tab
I think we actually should not use one preview per notebook page, as this would make problems with projects which pro...

30 March 2012

06:02 Gummi Feature #410: Find bar
Hi!
I also thought about that. I am all for option 3), but partly just as I would like to see how that is done. ;-...

21 March 2012

09:48 Gummi Feature #396 (New): Drag and drop image files in the editor
I currently have to insert a lot of images in a tex file.
Maybe it would be nice, if I could drag them (one by one ...

14 March 2012

09:17 Gummi Bug #272 (Fixed): Investigate the reason for Bug #252
Yeah, although I have not found a real explanation, the problem seems to be solved now.

12 March 2012

21:17 Gummi Bug #391 (Invalid): segfault and display manager crashes
Ok, I'm closing this one.
17:54 Gummi Feature #142: Improve spell checking for latex documents.
Hey!
Unfortunately not much has happend. I should again try to have the patch accepted. (Though, I might have foun...

09 March 2012

10:26 Gummi Bug #391: segfault and display manager crashes
As you mentioned, it also could be a libc-related thing. I am using Gnome 3, too, and have no problems.
With any lu...

06 March 2012

19:56 Gummi Bug #385: Grabage Collection if sometimes off by a few bytes.
Ok, it says your cache size was -3,4 GB. That corresponds to 861 696 pixels. (4 Byte per pixel) How large was your do...

Also available in: Atom