--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on September 2011 ---
Hello, Appologies for the specific technical question but I spent a few hours searching the documentation and am still stuck. I am writing a GUI for one of our plugins and I cant figure out how to cause the Pretty_source and Source_viewer to navigate to a particular Cil_types.kinstr of interest. Ideally I would like the same behaviour as clicking on functions within the file tree. Any advice on where to look would be greatly appreciated. Kind Regards Damien