nevermind, they are stored in the database, under wp_options, and in inkthemes_options ... trying to change them will result in losing all saved...
I was trying to put a form on the homepage, and put the code for the form in the <textarea class="of-input" name="inkthemes_right_widget"...
Separate names with a comma.
