Is there anyone against the following renaming for the sake of consistency (and austerity) ?
Index: CoordCache.h =================================================================== --- CoordCache.h (revision 20023) +++ CoordCache.h (working copy) @@ -130,7 +130,7 @@ CoordCacheBase<Inset> const & getInsets() const { return insets_; } /// A map from (Text, paragraph) pair to screen positions ParPosCache & parPos() { return pars_; } - ParPosCache const & getParPos() const { return pars_; } + ParPosCache const & parPos() const { return pars_; } and Index: Paragraph.h =================================================================== --- Paragraph.h (revision 20023) +++ Paragraph.h (working copy) @@ -91,7 +91,7 @@ /// Language const * getParLanguage(BufferParams const &) const; /// - bool isRightToLeftPar(BufferParams const &) const; + bool isRTL(BufferParams const &) const; A/