Advertisement
Guest User

jd_glibmm.patch

a guest
Jul 31st, 2017
193
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.88 KB | None | 0 0
  1. *** a/jd-2.8.9-150226/src/article/drawareabase.h 2015-01-30 21:32:48.000000000 +0900
  2. --- b/jd-2.8.9-150226/src/article/drawareabase.h 2017-06-20 00:34:27.319903716 +0900
  3. *************** namespace ARTICLE
  4. *** 330,336 ****
  5.  
  6. // リアライズしたか
  7. // Gtk::Widget::is_realized() はうまく動作しない
  8. ! const bool is_drawarea_realized(){ return m_window; }
  9.  
  10. // 文字色のID( colorid.h にある ID を指定)
  11. const int get_colorid_text() const{ return m_colorid_text; }
  12. --- 330,340 ----
  13.  
  14. // リアライズしたか
  15. // Gtk::Widget::is_realized() はうまく動作しない
  16. ! const bool is_drawarea_realized(){ return static_cast<bool>(m_window); }
  17.  
  18. // 文字色のID( colorid.h にある ID を指定)
  19. const int get_colorid_text() const{ return m_colorid_text; }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement