public override void OnStateEntered(EventArgs e)
{
base.OnStateEntered(e);
this.prevNumberingStyle = this.View.NumberingStyle;
this.View.NumberingStyle = PixmapNumberingStyle.None;
this.View.AllowNumberingStyleChange = false;
this.View.AllowUserSelection = false;
this.View.ClearSelection();
}
private void buttonIndices_Click(object sender, EventArgs e)
{
PixmapNumberingStyle currentStyle = this.pixmapView.NumberingStyle;
PixmapNumberingStyle newStyle = (PixmapNumberingStyle)(
((int)currentStyle + 1) %
((int)PixmapNumberingStyle.All + 1));
this.pixmapView.NumberingStyle = newStyle;
this.UpdateIndicesButton();
}
