PDF_editor_tools_GUI A simple GUI for editing PDF files. It currently works for rotating selected pages in PDF files, and for merging two documents. Future versions might include more functions and improvements in look or function. Stay tuned for updates!