|
|
setMagnification( 1.0 ); | setMagnification( 1.0 ); |
} | } |
| |
template <typename OutStream> |
|
OutStream& operator << ( OutStream& out, const DisplayOptions& obj ) { |
|
out << DisplayOptions::toString( obj ).utf8().data(); |
|
return out; |
|
} |
|
|
|
#endif // DISPLAYOPTIONS_H | #endif // DISPLAYOPTIONS_H |
|
|
res.setMagnification( args->getOption( "scale" ).toFloat() ); | res.setMagnification( args->getOption( "scale" ).toFloat() ); |
res.setPage( args->getOption( "page" ).toInt() - 1 ); // transform from 1-based into 0-based | res.setPage( args->getOption( "page" ).toInt() - 1 ); // transform from 1-based into 0-based |
//res._overridePageMedia = args->getOption( "paper" ); | //res._overridePageMedia = args->getOption( "paper" ); |
kdDebug(4500 ) << "Parsed options: " << res << endl; |
kdDebug(4500 ) << "Parsed options: " << DisplayOptions::toString( res ) << endl; |
return res; | return res; |
} | } |
| |