Commit Graph

13 Commits (mmu_man/docs_env_sh_tweaks)

Author SHA1 Message Date
Michael Drake 3f45e53539 s/history_core/local_history/ 12 years ago
Michael Drake 5787323b2c Include browser_private.h. 13 years ago
Michael Drake 67f2470d5a Pass whether background images are wanted in redraw_context. 13 years ago
Michael Drake eddae6af06 Remove plotter table global. Pass a redraw context around redraw functions. Knockout could be handled better. Note: untested on most front ends. 14 years ago
Sven Weidauer 19c5c44e7a Getting rid of cocoa_set_font_scale_factor 14 years ago
Sven Weidauer 8eda3390da Adding tool tips and changing the cursor in the local history view. 14 years ago
Sven Weidauer e190188969 Local history view now is responsible for hiding itself after selecting a web page. Also gets redrawn when selecting other pages using the back/forward buttons. 14 years ago
Sven Weidauer d092b9ca35 Making sure history popup stays on screen. 14 years ago
Sven Weidauer abe3300ea1 New local history panel with scrollbars. Still needs to resize itself to fit the history. 14 years ago
Sven Weidauer 28da79c796 Reorganized includes. 14 years ago
Sven Weidauer aa3fc46df5 Implemented resolution independence fot the TreeView and HistoryView and moved the coordinate transform function to their own header. 14 years ago
Sven Weidauer 15e7b87cac Nicer button for local history, fading history view, more readable blue for active item 14 years ago
Sven Weidauer e21cab6a7f Added local history overlay 14 years ago