sending wrong message in edit_edited

Ignore-this: 8d8dd24a4c26ceedaae44cac9e076596

darcs-hash:20141022132331-c21fe-d8c4b797ce7b1c999a84dbda35b4a6732157e014
fixed bug with edit and text_edit when giving widget name

Ignore-this: 95573dfcc23b8b6d005cfc81373d025e

Now that calls like set_text are asynchronous within an app, if you used set_text within
a when_edited callback, you would get another callback call afterwords, causing crazyness.

I modified the frontend not to call the when_edited callback when the set_text method is
called.

darcs-hash:20141022132409-c21fe-53313eb8d1d0153822e640a5448d28071f519176