Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

can't save file changes #5

Open
ghost opened this issue Oct 16, 2016 · 5 comments
Open

can't save file changes #5

ghost opened this issue Oct 16, 2016 · 5 comments

Comments

@ghost
Copy link

ghost commented Oct 16, 2016

Hey,

When i'm editing a file, and trying to save my changes, i've got a bunch of FATAL errors :

[Gtk] gtk_text_iter_set_line_offset: assertion 'char_on_line <= chars_in_line' failed

and at the right of the file name, i have a circle.

After, the IDE is unusable.

@donadigo
Copy link
Owner

Can you test again if it still is the case with the latest commit?

@ghost
Copy link
Author

ghost commented Oct 19, 2016

i've got a new fatal error
[Gtk] gtk_file_filter_get_name: assertion 'GTK_IS_FILE_FILTER (filter)' failed

Other side effects remain (i assume it's because of the fatal error).

@donadigo
Copy link
Owner

Hm, okay thanks. The error you pointed out isn't really referring to the original issue, and was present in older commits also. I will try to debug the IDE more specifically for the set_line_offset bug.

@aleksandar-stefanovic
Copy link
Contributor

Can this still be reproduced with the latest commits? I seem to be able to successfully save a file...

@ghost
Copy link
Author

ghost commented Oct 25, 2016

With the new save button options, saving is ok :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants