-
Notifications
You must be signed in to change notification settings - Fork 1.5k
Removing page outline panel #8865
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: master
Are you sure you want to change the base?
Removing page outline panel #8865
Conversation
In the current master version of doxygen (and thus upcoming version 1.14.0) a page outline panel is introduced, setting: `PAGE_OUTLINE_PANEL`, though it would be better to disable this in CGAL.
I guess it cannot replace our navigation panel ? |
@afabri Which "our navigation panel " do you mean ? |
The panel on the left. |
@afabri |
@sloriot do you think we have to test this or can you simply merge ? |
was |
No this has not been introduced in 1.10.0 but will be available in 1.14.0 release (and thus in the current master). |
So I need to create a new directory otherwise we'll get warnings with version between 1.10 and 1.14. |
I don't think so. I think it would be better to wait for the release of the doxygen 1.14.0 version (which is expected in the next 2 weeks) and use this version for future new versions (6.2 and up) of CGAL. At that moment it would be best to rename the 1.10.0 directory to 1.14.0 and create a new directory which should in my opinion be called master. (I think there might be already an issue regarding discarding 1.8.13 completely and using a newer version.) |
In the current master version of doxygen (and thus upcoming version 1.14.0) a page outline panel is introduced, setting:
PAGE_OUTLINE_PANEL
, though it would be better to disable this in CGAL.With the setting
PAGE_OUTLINE_PANEL=YES
(the default):With the setting
PAGE_OUTLINE_PANEL=NO
: