@@ -1154,7 +1154,7 @@ $(function () {
1154
1154
if ( setStyle . toLowerCase ( ) === title . toLowerCase ( ) ) styleOpt += " selected='true'" ;
1155
1155
styleOpt += ">" + title + "</option>" ;
1156
1156
} ) ;
1157
- $ ( "#header" ) . append ( "<p id='options'><a class='opt_linenum' href='#'>Toggle line number </a> - Style: <select class='opt_style'>" + styleOpt + "</select></p>" )
1157
+ $ ( "#header" ) . append ( "<p id='options'><a class='opt_linenum' href='#'>line numbers</a> - <a class='opt_sidebars' href='#'>sidebars </a> - Style: <select class='opt_style'>" + styleOpt + "</select></p>" )
1158
1158
1159
1159
var lineNumberShown = - 1 ;
1160
1160
$ ( ".opt_linenum" ) . click ( function ( ) {
@@ -1170,6 +1170,9 @@ $(function () {
1170
1170
lineNumberShown = ! lineNumberShown ;
1171
1171
return false ;
1172
1172
} ) ;
1173
+ $ ( ".opt_sidebars" ) . click ( function ( ) {
1174
+ $ ( "#allSideBoxes" ) . toggle ( ) ;
1175
+ } ) ;
1173
1176
$ ( ".opt_style" ) . change ( function ( e ) {
1174
1177
switchStylestyleAndSetCookie ( this . options [ this . selectedIndex ] . value ) ;
1175
1178
//return false;
@@ -1238,10 +1241,8 @@ $(function () {
1238
1241
1239
1242
/*-------------------------------------------------------------------------------------*/
1240
1243
1241
- //$('body').append('<div id="allSideBoxes">');
1242
- //$('#content').prepend('<div id="allSideBoxes">');
1243
- //$('body').prepend('<div id="allSideBoxes">');
1244
1244
$ ( '#content' ) . before ( '<div id="allSideBoxes">' ) ;
1245
+ //$( "#allSideBoxes" ).resizable({ handles: "n, e, s, w" });
1245
1246
1246
1247
// The definitions side bar
1247
1248
var dfns = document . getElementsByClassName ( 'def' ) ;
0 commit comments