void PDFReadingControl_KeyUp(object sender, KeyEventArgs e)
{
if (false)
{
}
else if (KeyboardTools.IsCTRLDown() && e.Key == Key.G)
{
JumpToPageNumber.Focus();
e.Handled = true;
}
else if (KeyboardTools.IsCTRLDown() && e.Key == Key.F)
{
SetSearchKeywords(); // *** TODO
e.Handled = true;
}
else if (e.Key == Key.F11)
{
ToggleFullScreen();
e.Handled = true;
}
// else forward it to the render control...?
else
{
this.pdf_renderer_control.PDFRendererControl_KeyUp(sender, e);
}
}
private void DoJumpToPageNumber(int offset)
{
try
{
int page_number = Int32.Parse(JumpToPageNumber.Text) + offset;
PDFDocument pdf_document = GetPDFDocument();
ASSERT.Test(pdf_document != null);
if (pdf_document != null)
{
// cycle around when jumping to page #N:
int modulo = Math.Max(1, pdf_document.PageCount);
page_number = (page_number - 1) + 2 * modulo; // guaranteed to end up with a positive number here...
page_number %= modulo;
page_number++; // and make it 1-based again after the MODULO math.
pdf_renderer_control.MoveSelectedPageAbsolute(page_number);
JumpToPageNumber.Text = "" + page_number;
JumpToPageNumberMax.Text = $" of {pdf_document.PageCountAsString}";
JumpToPageNumber.SelectAll();
}
}
catch (Exception ex)
{
Logging.Error(ex, "Error jumping to manual page number '{0}'.", JumpToPageNumber.Text);
}
}
void DoJumpToPageNumber(int offset)
{
try
{
int page_number = Int32.Parse(JumpToPageNumber.Text) + offset;
if (page_number < 1)
{
page_number = pdf_renderer_control_stats.pdf_document.PDFRenderer.PageCount;
}
if (page_number > pdf_renderer_control_stats.pdf_document.PDFRenderer.PageCount)
{
page_number = 1;
}
pdf_renderer_control.MoveSelectedPageAbsolute(page_number);
JumpToPageNumber.Text = "" + page_number;
JumpToPageNumber.SelectAll();
}
catch (Exception ex)
{
Logging.Error(ex, "Error jumping to manual page number '{0}'.", JumpToPageNumber.Text);
}
}
private void JumpToPageNumber_GotFocus(object sender, RoutedEventArgs e)
{
JumpToPageNumber.SelectAll();
}
