public void Load()
{
if( File.Exists( _path ) == false )
return;
using( TextReader textReader = File.OpenText( _path ) )
using( JsonReader reader = new JsonReader( textReader ) )
{
PrimaryStore store = ( PrimaryStore )_serializer.Deserialize( reader, typeof( PrimaryStore ) );
this.Breakpoints = store.Breakpoints;
this.CodeTags = store.CodeTags;
this.Bookmarks = store.Bookmarks;
}
}
public void Load()
{
if (File.Exists(_path) == false)
{
return;
}
using (TextReader textReader = File.OpenText(_path))
using (JsonReader reader = new JsonReader(textReader))
{
PrimaryStore store = ( PrimaryStore )_serializer.Deserialize(reader, typeof(PrimaryStore));
this.Breakpoints = store.Breakpoints;
this.CodeTags = store.CodeTags;
this.Bookmarks = store.Bookmarks;
}
}