[Bug 1264115] Re: Gedit hangs while searching in large file

2015-01-14 Thread Andre M
THIS IS REALLY ANNOYING, the immediatly starting search function stalls the program in long files (e.g. I want to search for def, it stalls the program with searching all d's and so on (gedit gets greyed out) for a minute) You can add an option to preferences, if user wants immediate search for

[Bug 1136644] Re: gedit search function is not practical anymore

2015-01-14 Thread Andre M
THIS IS REALLY ANNOYING, the immediatly starting search function stalls the program in long files (e.g. I want to search for def, it stalls the program (gets greyed out) for a minute) Please fix this. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which

[Bug 126079] sh highlight mode incorrect

2007-07-14 Thread Andre M
Public bug reported: gedit does not consider $# specially and treats everything after the hash as a commentary. For instance, when editing the following code as a .sh script: #!/bin/bash echo $# arguments On the second line, everything after the $ is colored as a commentary, when in fact $# is

[Bug 126075] Re: C++ syntax highlighting omission

2007-07-14 Thread Andre M
Can you please provide some example code to reproduce the error? And what do you mean by 'not highlighted as it should be'? In my gedit (2.18.1) 'friend' is highlighted in red, and 'friends' for instance is not highlighted at all. -- C++ syntax highlighting omission

[Bug 99276] Re: User and Groups does not inform user that manual UID already exists and create user groups.

2007-06-30 Thread Andre M
Similar situation occurs when an user is deleted and re-added. Suppose you add a user newuser using the System - Administration - Users and Groups. The user is successfully created. Then you decide to remove the user, and it is successfully removed. Then, if you add user newuser again, the

[Bug 99276] Re: User and Groups does not inform user that manual UID already exists and create user groups.

2007-06-30 Thread Andre M
I'm sorry, I forgot to indicate this happens in Ubuntu Feisty 7.04. -- User and Groups does not inform user that manual UID already exists and create user groups. https://bugs.launchpad.net/bugs/99276 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a